shithub: choc

ref: eb32583c0eff4859a20118848f6f6cf30abb875a
dir: /quickcheck/