static int ptX(Pt p) {
  ret p == null ? 0 : p.x;
}