shithub: choc

ref: f81b5c7b3e7c24364fce681ad3d7ba18119a867b
dir: /quickcheck/