static void printWithMilliseconds(S s) {
  printWithMSTime(s);
}