Symbol: trace_print_symbols_seq