shithub: choc

ref: 46f34c1a52a59550ad6375be8c71690872fa920d
dir: /quickcheck/