NASA kirjoittaa tehtäväkriittistä lentoohjelmistoa C-kielellä. Ja säännöt ovat täysin JÄRJETTÖMÄT. > Ei rekursiota. Ikinä. > Jokaisella silmukalla täytyy olla todistettavissa oleva yläraja. > Dynaamista muistia ei varattu alustuksen jälkeen. > Max ~60 viivaa per funktio. > Vähintään 2 väitettä per funktio. > Jokainen palautusarvo on tarkistettava. > Yhtään kääntäjävaroitusta ei sallita. > Päivittäinen staattinen analyysi. Sielläkään ei ole yhtään varoitusta. > Ei funktioosoittimia. > Rajoitettu osoitin viittauksen poistaminen. Näin he kirjoittavat koodia NASA:ssa / JPL:ssä kriittisille järjestelmille.