Symbol: trace_seq_path