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.

>>6
The ``arbitrary legality" is imposed not by the program, but by the OS and MMU. The program is doing exactly what you tell it to do - read memory at address 5. But since that is classified as an invalid operation by the memory management system, your program gets sent a kill signal.