shithub: choc

ref: 422d7fbcf03c6abbfe3b8c013933d307a9f21e0b
dir: /quickcheck/