shithub: choc

ref: 00480e248644aaefea6aa66658c7dea6ae637a83
dir: /quickcheck/