static <A> A assertNullVerbose(A y) {
  assertNullVerbose((S) null, y);
  ret y;
}

static <A> A assertNullVerbose(S msg, A y) {
  if (y != null)
    fail((msg != null ? msg + ": " : "expected null: ") + y;
  print("OK: null");
  ret y;
}