http://planet-compats.racket-lang.org/static/planet-mflatt-test-box-recover1.plt
e89b645f3d685357e6ec2d9f193d329fe80bcc8a