Making C Less Dangerous in the Linux kernel