shithub: choc

ref: 4540c36d2abd34e621d2bf8764ff6b2ad68a72c7
dir: /quickcheck/