static int[] resizeIntArray(int[] a, int n) {
  if (n == lIntArray(a)) ret a;
  int[] b = new int[n];
  arraycopy(a, 0, b, 0, Math.min(lIntArray(a), n));
  ret b;
}