pipe(&(0x7f00000000c0)={<r0=>0xffffffffffffffff, <r1=>0xffffffffffffffff})
vmsplice(r0, &(0x7f0000000240)=[{&(0x7f0000000000)="b0", 0x1}], 0x1, 0x0)
write$binfmt_elf64(r1, &(0x7f0000000100)=ANY=[], 0x78)