shithub: choc

ref: 963dcf0def30b2d2f5367b514db08e89eff9f055
dir: /quickcheck/