static <A> A assertLessThanOrEqualTo(A a, A b) {
  assertTrue(cmp(b, a) <= 0);
  ret b;
}