svoid printAndSetConsoleTitleIfMain(S s) {
  print(s);
  if (isMain()) consoleTitle(s);
}