shithub: choc

ref: c6723f36255e8052e5ab5463ad579772e49d4615
dir: /quickcheck/