static DoublePt rotateClockwise_radians(double angle, double x, double y) {
  double sin = sin(angle), cos = cos(angle);
  ret doublePt(x*cos-y*sin, y*cos+x*sin);
}