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