Macro trace

macro_rules! trace {
    ($header:expr, $op:expr) => { ... };
}