http://planet-compats.racket-lang.org/static/planet-vyzo-crypto1.plt
fa7bd45bb52cfeaaaa633e9a0945268271cd17d0