static int y2(Rectangle r) {
  ret r.y+r.height;
}