shithub: choc

ref: 57f7f44655b42f1bf4adede78b58cd63e3c2bb9f
dir: /quickcheck/