shithub: choc

ref: 33abbdeb9f28269d7706feaac90df812d06ee17b
dir: /quickcheck/