C runtimes do add extra issues but that&#x27;s not relevant to my comment. I said I largely came up dry on methods to prove correctness of <i>C++ code</i>. Quite important if one is considering C++ vs other language for a robust application and&#x2F;or unikernel. C++ would be a bad choice if language itself was supposed to contribute to robustness.