shithub: choc

ref: 22b0a5610f608ae3931f84b409434f5fe9264a0e
dir: /quickcheck/