shithub: choc

ref: abb99ca40043c5a89855b78e6d4f929e4e2b7a0e
dir: /quickcheck/