macro_rules! trace_to_exec_err {
    ($trace_expr: expr, $instruction: ident) => { ... };
}