shithub: choc

ref: 604ac99cdd6124470338b772a69fec26a3e20f54
dir: /quickcheck/