shithub: choc

ref: 5621630f2fe88323d33e97335df67cd53f0f0b01
dir: /quickcheck/