shithub: choc

ref: 3a944406a482f238fb7ae520e9b363f4645a6875
dir: /quickcheck/