static Pt pt(int x, int y) {
  ret Pt(x, y);
}