Symbol: open_pipe