AAAA AAAA AAAA AAAA AAAA
(repaint rects
  (rect 0 0 200 300)
)
(repaint rects
  (rect 0 0 300 300)
)
(repaint rects
  (rect 0 0 300 250)
)
(repaint rects
  (rect 0 0 250 250)
)