shithub: choc

ref: 74773f9a5bc7cbeb3e7807ce28229a7644416cd2
dir: /quickcheck/