shithub: choc

ref: 0b8c63530f113a7fd92cbe3f54539f33c2cf095b
dir: /quickcheck/