Nested macro expansion order

[auxym]

Yes, macros are expanded "outside in". That is, the outermost macro is 
evaluating. Then, if the resulting AST contains more macros (or templates), 
they are evaluated, and the process continues like this recursively.