shithub: choc

ref: 76fa96e19a7d54993c6df0ffe9076d38655d9ad4
dir: /quickcheck/