shithub: choc

ref: 181c56fc2e28ede64e03b47252aaaad72fd2d3af
dir: /quickcheck/