shithub: choc

ref: 580c788b9d5674135b0ad6973fe21869b6cfa2c9
dir: /quickcheck/