OT: One thing I don't yet understand is why security-critical software is usually written in C instead of a language like SML.