shithub: choc

ref: ffbca88b7c4a766bc9a3192cf66b6b71610c431f
dir: /quickcheck/