The biggest problem with C isn't even it's lack of type safety, undefined behavior but that antiquated macro system which does more harm than anything.

Imagine if C had a solid AST-based macros system...