static void logInput(S s) {
  logQuoted("input.txt", now() + " " + s);
}