shithub: choc

ref: 0cf031d542b5ed48c3dc777007b98597fde3ec53
dir: /quickcheck/