What is Type Safety Anyway?
Related link: http://lambda-the-ultimate.org/node/view/1112#comment
Programming language debates often devolve into debates over the value of type systems -- and, unfortunately, over meaningless terms. A recent Lambda the Ultimate discussion produced a gem of a post by Scott Johnson that explained several different levels of type safety.
C's types are superficial... looks right to me!