http://planet-compats.racket-lang.org/static/planet-ebellani-bytes-contracts1.plt
29013870c15d39951e2d6c4ba4dc898d1d45e7b2