shithub: choc

ref: bef190087e4efaa75f07487accbbfac4a9ac9802
dir: /quickcheck/