Safety is a property that the run-time system guarantees.
As C demonstrates, types alone don't mean anything. Mark, Jon F, and Jon R and a couple of private emails have brought up additional issues concerning types, which I never raised. I happen to agree with them. Jon R and also Jon F seem to suggest that a syntactic type discipline adds some abstraction power to the language. I disagree, and I will post a note on this but under a separate heading.