static void assertTrue(O o) {
  assertEquals(true, o);
}
  
static bool assertTrue(S msg, boolean b) {
  if (!b)
    fail(msg);
  ret b;
}

static bool assertTrue(boolean b) {
  if (!b)
    fail("oops");
  ret b;
}