I would imagine that one area where you can't have sloppy or bad code is avionics. What is the main programming language used for Avionics? or are several used?