Macro TraceStep 

macro_rules! TraceStep {
    ($($arg:tt)*) => { ... };
}

Logs a checkpoint message at TRACE level.