shithub: choc

ref: 46d46e543c543662200e7a37a2fabfb5f4e4bc65
dir: /quickcheck/