The safe systems programming people would rather point out to the list of systems programming languages since JOVIAL in 1958, and make a point that Multics, Burroughs and VAX/VMS actually had higher security assessements than UNIX, primarly by not having C powering their kernels, rather systems language whose security was part of the whole OS design.
