shithub: choc

ref: 34174041c84540de27f4c3981be7ae5b2ca2c4b6
dir: /quickcheck/