static short toShort_enforce(long l) {
  if (l != (short) l) fail("Too large for short: " + l);
  ret (short) l;
}