shithub: choc

ref: 71bd1afea1830cd2623313d208104847e2c2e286
dir: /quickcheck/