shithub: choc

ref: 23b555440bd02a65fff2f5fab2fd73085effef35
dir: /quickcheck/