shithub: choc

ref: 77c096f2db59ad52936ea7c7f16a26615068cdc6
dir: /quickcheck/