shithub: choc

ref: 7195acf48d9226420b4e5bdf46ee583fcb401a8d
dir: /quickcheck/