Symbol: t4_trace_pkt