Symbol: trace_print_seq