One nice side-benefit of having separated headers is that you can
follow them up with automated aliasing: When compiling a new
definition, you can have the compiler scan the code segment for
identical machine code and point the new header to it rather than
laying the new redundant machine code. This technique does precludes
the use of self-modifying code though.