shithub: choc

ref: 9ceedafc86215679974f69c9f75677e16952ea96
dir: /quickcheck/