static O[] assertEvenLength(O[] a) {
  assertTrue(even(l(a)));
  ret a;
}