shithub: choc

ref: 36c922d2f0bfb4bd3548589aca8d6e955ba00cc9
dir: /quickcheck/