pipe(&(0x7f00000000c0)={<r0=>0xffffffffffffffff, <r1=>0xffffffffffffffff})
write$binfmt_elf64(r1, 0x0, 0x78)
r2 = socket$inet6_udplite(0xa, 0x2, 0x88)
splice(r0, 0x0, r2, 0x0, 0x7a, 0x0)