static O[] addToObjectArray(O[] a, O o) {
  O[] x = new O[l(a)+1];
  arraycopy(a, 0, x, 0, l(a));
  x[l(a)] = o;
  ret x;
}