shithub: choc

ref: ef4d8b14d86af2aed000eab966342c1bd223edb0
dir: /quickcheck/