static void printWithTime(S s) {
  print(hmsWithColons() + ": " + s);
}