تكتب ناسا برامج الطيران الحرجة للمهمة بلغة C. والقواعد مجنونة تماما. > لا يوجد تكرار. أبدا. > يجب أن يكون لكل حلقة حد أعلى قابل للإثبات. > لا يوجد تخصيص ديناميكي للذاكرة بعد التهيئة. > الحد الأقصى ~60 خطا لكل دالة. > الحد الأدنى لتأكيدين لكل دالة. > يجب التحقق من كل قيمة إرجاع. > لا يسمح بتحذيرات المترجم. > تحليل ثابت يومي. ولا يوجد أي تحذيرات أيضا. > لا توجد مؤشرات للوظائف. > إلغاء الإشارة إلى المؤشرات المقيدة. هكذا يكتبون الشيفرة في ناسا / JPL للأنظمة الحرجة للمهام.