shithub: choc

ref: 1ef1524440999b45cd0cafd515756001a4c5fae9
dir: /quickcheck/