shithub: choc

ref: fabb8f598ebee1bec3c736f8556294ee57cbb6e5
dir: /quickcheck/