shithub: choc

ref: 2d16652dbc9c923310e0c5eae96ca81334f6c40b
dir: /quickcheck/