shithub: choc

ref: 745e7342badc686f40ee25c2fa211e69924ad938
dir: /quickcheck/