static S input_noAI(S msg) {
  print(msg);
  ret input_noAI();
}

static S input_noAI() {
  ret readLine_enableConsole();
}