shithub: choc

ref: fa64e348b538562d7e063a6955db461f5c36bbb5
dir: /quickcheck/