shithub: choc

ref: 5acd068cf3cd9acdbb0e809d8251aab4e8cf324b
dir: /quickcheck/