Does Python really follow its philosophy of "Readability counts"?

[Paul Rubin]

James Mills <prologic at shortcircuit.net.au> writes:
> Who's to say that Python is not just as suitable
> for the systems on-board a Boeing-747 then C++ ?

"Today, Boeing uses about 500,000 lines of Ada to fly its commercial
747 400 in subsystem components, critical certification, and human
safety features. Two of the three largest systems on the 747, or 43
percent of the executable bytes, are written in Ada. The software is
FAA certified."  (http://archive.adaic.com/docs/flyers/commapps.html)

Is the third component in C++?  That is scary, if it does anything
important.