Here's an example: the FAA will not certify anything for flight that is running code that was written in C++, as the flow of the program is inherently not as deterministic as the flow of a C program....