Loading TypeChef: Type checking #ifdef variability (in the Linux kernel).