shithub: choc

ref: 6ffde276cf80289d8df91e78cdec1405ea72cc51
dir: /quickcheck/