Comment by mafribe

    But, every macro itself is a small compiler.

I'm not following you here. What does that mean? The macro gets expanded at compile-time into 'normal' source code, by the compiler.