Symbol: TRACE_INSN