static void printAsciiHeading2(S text) {
  print(asciiHeading2(text));
}