shithub: choc

ref: 6e0df552eb03d193836e44c7e3be320a9b985d45
dir: /quickcheck/