static short doubleMin(Iterable<Short> l) {
  short min = Short.MAX_VALUE;
  fOr (short d : l)
    min = Math.min(min, d);
  ret min;
}

static short shortMin(short[] l) {
  short min = Short.MAX_VALUE;
  fOr (short d : l)
    min = Math.min(min, d);
  ret min;
}