https://123dok.net/document/zx550nwq-on-the-fly-generation-of-k-path-tests-for-c-functions.html