Interesting fact #312: Software die zum steuern von Flugzeugen und Airbags geschrieben wird, wird nicht in C geschrieben sondern meistens in Ada. Grund dafür ist das C keine beweisbare Sprache ist und die Versicherungen sich geweigert haben das zu versichern.