shithub: choc

ref: 007578b98a5915c528730a7cfdaef7d8780523d8
dir: /quickcheck/