Symbol: t5_trace_pkt