Symbol: pipe_do_rcv