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