pipe(&(0x7f00000000c0)={<r0=>0xffffffffffffffff, <r1=>0xffffffffffffffff})
vmsplice(r1, &(0x7f0000000240)=[{&(0x7f0000000300)="0f", 0x1}], 0x1, 0x0)
readv(r0, &(0x7f00000006c0)=[{&(0x7f0000000100)=""/139, 0x8b}], 0x1)