https://github.com/c-cube/qcheck
