static void logInput(S s) {
  logStructureWithDate("input.txt", s);
}