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

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