With approximately TMR injected code for tracing