static Pt origin() {
  ret pt(0, 0);
}