static S readLine_enableConsole() {
  bool e = consoleInputEnabled();
  if (!e) enableConsoleInput();
  S s = readLine();
  if (!e) disableConsoleInput();
  ret s;
}