static <A> A assertNempty(A a) {
  if (empty(a))
    fail("empty: " + a);
  ret a;
}