Не, хрустики в принципе подозревают что хотят сишники. То-есть, compile time check лучше чем runtime fail. И на сях макросней можно довольно сурово это забабахать если задаться такой целью.

Но вот реализация у хрустиков - это аццкое УГ с кучей закорюк, костылей, а половина потребного для системных дел до сих пор в ночных горшках. Это при том что они сразу понтовались системностью, вебманки позорные. На самом деле напрашивается что-то типа C next gen, где из хруста передерут некоторые вещи, типа, вот, compile-time проверок массивов и проч. У классического си для этого некоторые опции очень уж неудобны для анализа.