shithub: choc

ref: bc35d8cbcb47cefe392e7baf8057397137c868bc
dir: /quickcheck/