shithub: choc

ref: 8aa4ed6c01c19b934e64d012ac304eaf1a777607
dir: /quickcheck/