shithub: choc

ref: d57e99cf20ccd8cf736c6bcc0f88fbf95a6aa7ce
dir: /quickcheck/