Symbol: linux_pipe_args