Polymorphism as with sockaddr and XEvent types is safe. The values are always (in a correct program) read as the same type they were written so there is no type

Polymorphism as with sockaddr and XEvent types is safe. The values are always (in a correct program) read as the same type they were written so there is no type punning.