This is necessary because the emitter's symbols need to be resolved at compile time. Only the tamakatos emitter header file is introduced, as it is trivial to do so for the other emitters.
Thanos Makatos