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.

>>7
Type safe means you don't need an MMU for protection.