shithub: choc

ref: da7eb070f7334ad8574fbf742cca509fef212f4b
dir: /quickcheck/