static volatile bool mainDoneQuietly_on;

static void mainDoneQuietly() {
  mainDoneQuietly_on = true;
}