shithub: choc

ref: 0b961d57e68e017dd951b23b7018e677c687fc73
dir: /quickcheck/