shithub: choc

ref: 032740bfe17d322c09fa299c598305415ade2668
dir: /quickcheck/