Macro trace_dfx 

macro_rules! trace_dfx {
    ($($arg:tt)+) => { ... };
}