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

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

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

static <A> A[] cloneArray(A[] a) {
  if (a == null) null;
  A[] b = arrayOfSameType(a, a.length);
  System.arraycopy(a, 0, b, 0, a.length);
  ret b;
}