shithub: choc

ref: 251619c8f24672a4b52683c280043af4157e5a2c
dir: /quickcheck/