svoid printMultiSetWithHeading(S heading, MultiSet ms) {
  printAsciiHeading(heading);
  printMultiSet(ms);
}