pipe(&(0x7f0000000000)={0xffffffffffffffff, <r0=>0xffffffffffffffff})
pipe(&(0x7f00000000c0)={<r1=>0xffffffffffffffff, <r2=>0xffffffffffffffff})
write$binfmt_elf64(r2, &(0x7f0000000100)=ANY=[], 0x78)
splice(r1, 0x0, r0, 0x0, 0x78, 0x0)