static Pt rotatePtLeft(Pt p) {
  ret pt(p.y, -p.x);
}