shithub: choc

ref: 16e404d5f80e9f6dd343eb47d421fc69b3d82728
dir: /quickcheck/