pipe(&(0x7f0000000040)={<r0=>0xffffffffffffffff, <r1=>0xffffffffffffffff})
write$binfmt_elf64(r1, &(0x7f00000018c0)=ANY=[], 0x78)
fcntl$setpipe(r0, 0x407, 0x0)
vmsplice(r1, &(0x7f0000000200)=[{&(0x7f00000017c0)="8c", 0x1}], 0x1, 0x0)