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