svoid arrayCopy(O[] a, O[] b) {
  arraycopy(a, b);
}



svoid arrayCopy(O src, int srcPos default 0, O dest, int destPos, int n) {
  arraycopy(src, srcPos, dest, destPos, n);
}