static O[] resizeObjectArray(O[] a, int n) {
  ret resizeArray(a, n);
}