shithub: choc

ref: 9a2491e85ee62b6b01ea09ae04b39bb5bb6f15c9
dir: /quickcheck/