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