shithub: choc

ref: a1e32f11a1eed342356d28e7947baf15e3f2946e
dir: /quickcheck/