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