Symbol: linux_pipe2_args