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