static S input() {
  bool e = consoleInputEnabled();
  if (!e) enableConsoleInput();
  S s = readLine();
  if (!e) disableConsoleInput();
  if (s != null) post("User", "said", quote(s));
  ret s;
}