90% of all safety critical software is written in c/c++ There is no good safety language right now to write a browser in, except for c/c++. Rust might sound li

90% of all safety critical software is written in c/c++ There is no good safety language right now to write a browser in, except for c/c++. Rust might sound like an alternative but it's safety story is sad when compared to c/c++. Ada might be a cool option, so is ATS.