> Include preprocessor directive literally copy pastes stuff with no intelligence what-so-ever.

Well, it's easy to reason about them. The thinking goes about the translation units.

The real problem is that the actual interface is not enforceable: the symbols in the binaries are just names.