shithub: choc

ref: e49be7669f9072e2e27e67e29c097591a83bbf06
dir: /quickcheck/