pipe(&(0x7f0000000040)={0xffffffffffffffff, <r0=>0xffffffffffffffff})
vmsplice(r0, &(0x7f0000000600)=[{&(0x7f00000000c0)="85", 0x1}], 0x1, 0x0)
write(r0, &(0x7f0000000140)='x', 0x1)