/* syscall: "pipe2" ret: "int" args: "netbsd32_intp" "int" */