svoid veryBigConsole() {
  consoleFont(loadFont(#1004970, 20f));
  setConsoleHeight(500);
  centerBigConsole();
  renameConsole(programTitle());
  consoleMargin(10);
}