pipe(&(0x7f00000003c0)={<r0=>0xffffffffffffffff, <r1=>0xffffffffffffffff})
r2 = openat(0xffffffffffffff9c, &(0x7f0000000280)='./file1\x00', 0x1051c2, 0x0)
splice(r0, 0x0, r2, 0x0, 0x7, 0x0)
dup2(r0, r2)
dup2(r2, r1)