shithub: choc

ref: 0e526452efc77a6fb8889545b456dfa58a92628f
dir: /quickcheck/