shithub: choc

ref: 89900f956372349618c7c2ade8befbff948736c0
dir: /quickcheck/