macro_rules! trace {
    ($t:tt $(,$p:expr)*) => { ... };
}