shithub: choc

ref: 08be6bdec6c3c0d1bf33a52bd9d2d193b2e4e1bc
dir: /quickcheck/