Type-Safe C

>C lacks type safety.
typedef struct struct_x{int typesafe_data; } name;
How this isn't type safe? Also, it stores the struct within the same size as int.

>>5
The program should do what I tell it to do without imposing some arbitrary legality on operations.