static void consoleHeight(int h) {
  setConsoleHeight(h);
}