shithub: choc

ref: 21599058db1a007755c54a6faca2f8e0c74eda6d
dir: /quickcheck/