shithub: choc

ref: 14eb6d8970fa85395cbfdbcc3b418c79daec5625
dir: /quickcheck/