shithub: choc

ref: 6e3e13b718f87bab1b91e940a59b35c57de7a201
dir: /quickcheck/