pipe(&(0x7f0000000000)={<r0=>0xffffffffffffffff, <r1=>0xffffffffffffffff})
readv(r0, &(0x7f0000000380)=[{&(0x7f0000000040)=""/47, 0x2f}], 0x1)
pipe(&(0x7f00000000c0)={<r2=>0xffffffffffffffff, <r3=>0xffffffffffffffff})
splice(r2, 0x0, r1, 0x0, 0x5, 0x0)
write$binfmt_misc(r3, &(0x7f0000003440)={'syz1'}, 0x4)