That’s kind of my point. If your program is too complicated for you to be absolutely sure it’s correct and doesn’t misuse memory management or expose any way to misuse the system, then don’t. Write it with a different language.