static Int zeroAsNull(Int i) {
  ret nullIfZero(i);
}