shithub: choc

ref: 389f56158e8163edb5c07129e2e67716b2c02114
dir: /quickcheck/