shithub: choc

ref: b42d644f8233626a60a9ae1f9fd8294d30bf3f58
dir: /quickcheck/