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