shithub: choc

ref: 7adae29422b950d988d76f599f030c27697e8d6e
dir: /quickcheck/