static Pt ptAdd(Pt a, Pt b) {
  ret a == null ? b : b == null ? a : pt(a.x+b.x, a.y+b.y);
}