172a173,174
> TraceFlag('ExecMicro')
> TraceFlag('ExecMacro')
179c181
< 'ExecEffAddr', 'ExecResult', 'ExecSymbol' ])
---
> 'ExecEffAddr', 'ExecResult', 'ExecSymbol', 'ExecMicro' ])