Correct me if I'm mistaken, but the avionics software would probably be written in C or Assembler.

Neither of those have SloppyDevTypeCheckComfortBlankie either, do they?