Even C has a better type system than C: All modern C compilers support an extension that lets you flag a function's return-value as requiring a null check.