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