shithub: choc

ref: 9f7a20c80bf2d37a5847cc624ef5d89abf9dea37
dir: /quickcheck/