shithub: choc

ref: 570921aecab248c9801dfc6672c2e403f85453b7
dir: /quickcheck/