http://planet-compats.racket-lang.org/static/planet-untyped-idcheck1.plt
8b9c53397f2b3418b66921faa6e915e5d2c915ae