shithub: choc

ref: a713167fcf34253837deacda5de2b3de4b30ca1b
dir: /quickcheck/