shithub: choc

ref: 63ca127bf99b58295454bbfd29ba5fa644285847
dir: /quickcheck/