Symbol: do_pipe