static short shortMax(Iterable<Short> l) {
  int max = Short.MIN_VALUE;
  fOr (short d : l)
    max = Math.max(max, d);
  ret (short) max;
}

static short shortMax(short[] l) {
  int max = Short.MIN_VALUE;
  fOr (short d : l)
    max = Math.max(max, d);
  ret (short) max;
}