shithub: choc

ref: 1b1c416763777f18fd454dfc4ebce45d78a567c6
dir: /quickcheck/