static void assertFail_verbose(Runnable r) {
  try {
    r.run();
  } catch e {
    print("OK: " + getInnerMessage(silentException(e)));
    ret;
  }
  fail("No exception thrown!");
}