shithub: choc

ref: ec4a02dfa4a7f88725148a69f4c99431e4a6f84d
dir: /quickcheck/