static void printWithMSTime(S prefix, S s) {
  print(hmsWithColonsAndMS() + ": " + combinePrintParameters(prefix, s));
}