static L<Rect> rectsLargerThan(int w, int h, L<Rect> l) {
  ret [Rect x : l | rectLargerThan(w, h)];
}