static <A> A assertLessThanOrEqualTo(S msg default "", A a, A b) {
  if (cmp(b, a) > 0)
    fail(joinNemptiesWithColon(msg, b + " > " + a));
  ret b;
}