shithub: choc

ref: ff4c976bd88cfb86476f96ca3749a9e11d9b9682
dir: /quickcheck/