static Pt ptPlus(Pt a, Pt b) {
  ret addPts(a, b);
}