static <A> A assertNull(A a) {
  assertTrue(a == null);
  ret a;
}

static <A> A assertNull(S msg, A a) {
  assertTrue(msg, a == null);
  ret a;
}