shithub: choc

ref: 507b573ae1eabdc5bb457ccb3619dfd5aba03828
dir: /quickcheck/