static void noMainDone() {
  mainDoneQuietly();
}