Symbol: read_pipe_rx