Symbol: do_pipe2