shithub: choc

ref: 9cb06ff1a67a75d361324b95b789eebea95379aa
dir: /quickcheck/