static void noMainDone() {
  mainDoneQuietly();
}

static void noMainDone(S msg) {
  print(msg);
  mainDoneQuietly();
}