static void copyArray(O[] a, O[] b) {
  arraycopy(a, b);
}



static void copyArray(O src, int srcPos, O dest, int destPos, int n) {
  arraycopy(src, srcPos, dest, destPos, n);
}