static void printAndClearSilentException() {
  Throwable e = lastSilentException();
  if (e != null) print(e);
  silentException_lastException = null;
}