Macro extend 

macro_rules! extend {
    ($a:expr, $b:expr, $trace_kind:expr) => { ... };
}