shithub: choc

ref: bec0d85ca98d682c3d922d76309976a3a1359e3c
dir: /quickcheck/