Symbol: read_trace_pipe2