shithub: choc

ref: e5409bfa53f3ebcb720b41383d8a9f52b3505be9
dir: /quickcheck/