shithub: choc

ref: acc40d847eea0078f40db6d75c0c02e3a32aaa95
dir: /quickcheck/