static Pt maxPt(Pt a, Pt b) {
  ret a == null ? b : b == null ? a : Pt(max(a.x, b.x), max(a.y, b.y));
}

static Pt maxPt(Iterable<Pt> l) {
  Pt max = null;
  fOr (p : l)
    max = maxPt(max, p);
  ret max;
}