static O[] cloneObjectArray(O[] a) {
  if (a == null) null;
  O[] b = new O[a.length];
  System.arraycopy(a, 0, b, 0, a.length);
  ret b;
}