shithub: choc

ref: d358269bb491b69b82dc6f6e986c8f56b8c1eb3e
dir: /quickcheck/