shithub: choc

ref: 4de94e327d9182a244a29be3ff71e56f18b55b2a
dir: /quickcheck/