shithub: choc

ref: e840d4762a176c382d7822ebd0ad0ac661bbe4cb
dir: /quickcheck/