shithub: choc

ref: ead40dfce12f1c4fefa4f736c7ff380e1e4bbdd8
dir: /quickcheck/