> Moreover, the header file is optional, and is never included by the source file.

That is totally opposite to my experience. Example from Linux:

https://github.com/torvalds/linux/blob/master/kernel/smpboot... https://github.com/torvalds/linux/blob/master/kernel/smpboot...