shithub: choc

ref: 634751002d27808420111cf5781ee8a269c55c44
dir: /quickcheck/