shithub: choc

ref: 9a79e5cceb2b7d047efaa114beca5f6600f26861
dir: /quickcheck/