static Pt addPts(Pt a, Pt b) {
  ret new Pt(a.x+b.x, a.y+b.y);
}