While we're dissing Linux for rejecting modern safe languages, which of the BSDs has seen the light and rejected C in favor of a safe language?