セキュアなUnixの祖先であるKSOSは、Rustがクールになる前に型安全性を実現していた