shithub: choc

ref: f6824b14fd2fcc81ad5e81d2655100ec0bb1af68
dir: /quickcheck/