We're talking about developing safety-critical software. C and Ada have their pros and cons, but Zig isn't even in the running.