the myth of type safety