Symbol: trace_seq_to_user