Space-Proof Code

Video: "How NASA writes space-proof code". (Via W.R.)