static boolean arraysEqual(O[] a, O[] b) {
  if (a.length != b.length) false;
  for (int i = 0; i < a.length; i++)
    if (neq(a[i], b[i])) false;
  true;
}