shithub: choc

ref: def8fb134b08fa2101375c53c167782168779e99
dir: /quickcheck/