Type safety in the Linux kernel