shithub: choc

ref: 535175bc6c785e229bc7ce224d05883ec4614f80
dir: /quickcheck/