static short[] arrayOfRandomShorts(int n) {
  short[] a = new short[n];
  for i to n: a[i] = randomShort();
  ret a;
}