NASA skriver oppdragskritisk flyprogramvare i C. Og reglene er helt GALE. > Ingen rekursjon. Aldri. > Hver løkke må ha en bevisbar øvre grense. > Ingen dynamisk minneallokering etter initialisering. > Maks ~60 linjer per funksjon. > Minimum 2 påstander per funksjon. > Hver returverdi må sjekkes. > Ingen kompilatoradvarsler tillatt. > Daglig statisk analyse. Ingen advarsler der heller. > Ingen funksjonspekere. > Begrenset pekerreferanse. Slik skriver de kode hos NASA / JPL for oppdragskritiske systemer.