pipe(&(0x7f00000000c0)={<r0=>0xffffffffffffffff, <r1=>0xffffffffffffffff})
read(r0, &(0x7f0000000000)=""/31, 0x1f)
write$binfmt_elf64(r1, &(0x7f00000012c0)=ANY=[], 0x78)