shithub: choc

ref: 6667c664975d612d6eecf4893b621df624cfc72b
dir: /quickcheck/