shithub: choc

ref: 1b06590a72efd79fce90d91adfa0694e31a7c3e5
dir: /quickcheck/