r0 = socket$inet6_tcp(0xa, 0x1, 0x0)
pipe2(&(0x7f0000000180)={<r1=>0xffffffffffffffff}, 0x0)
splice(r1, 0x0, r0, 0x0, 0xc, 0x0)