shithub: choc

ref: 7c85545f0883fa1d2446f59eb404b3d6a2811ac5
dir: /quickcheck/