Symbol: trace_seq_used