svoid printAndSetConsoleTitleIfMain(S title) {
  print(title);
  consoleTitleIfMain(title);
}