Secure Unix ancestor KSOS did type safety before Rust made it cool

For the first time, the source code of KSOS, backed by the US Department of Defense in the late 1970s and 1980s, is available ...