static <A> A[] arrayOfSameType(A[] a, int n) {
  ret newObjectArrayOfSameType(a, n);
}