shithub: choc

ref: f7a14366353e4b8f0bb18595234e6833a57f5738
dir: /quickcheck/