shithub: choc

ref: dde9b2c1bf6184d7d525ebbf52485549f31196ba
dir: /quickcheck/