shithub: choc

ref: f447ae17ddefc64f2bc803b5c3c81dceb7b59c68
dir: /quickcheck/