static Int intRangeMax(IntRange... l) {
  Int max = 0;
  for (IntRange r : l)
    if (r != null && (max == null || r.end > max))
      max = r.end;
  ret max;
}