shithub: choc

ref: 222ba923d08f4990dbfd6b24551fcaf11c11f5b6
dir: /quickcheck/