shithub: choc

ref: 0994943982276174b9e660a81c3da950f67d7495
dir: /quickcheck/