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