example specification-based test using arbitrary rectangles...