shithub: choc

ref: 8ae83694b626d2e3998361b538adf89f64742bd7
dir: /quickcheck/