shithub: choc

ref: 22f49f25b19510f957eaea97e690429460a6aca4
dir: /quickcheck/