shithub: choc

ref: 8b889145135d10b38de9ddb7b411532407c658cc
dir: /quickcheck/