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