static Int maxOfInts_possiblyNull(Int a, Int b) {
  if (a == null) ret b;
  if (b == null) ret a;
  ret max(a, b);
}