shithub: choc

ref: 1f5a1e43d44676e692a0513a02ff1d690ae86ca9
dir: /quickcheck/