shithub: choc

ref: d092eff41d8e3a34563e76c5c3e69256da800373
dir: /quickcheck/