static void setConsoleInput(S text) {
  consoleSetInput(text);
}