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