Is it wise to macro-expand arbitrary code? I can see the value (analysis tools, certain nested macros) but I worry about side effects.