pipe(&(0x7f0000000040)={<r0=>0xffffffffffffffff, <r1=>0xffffffffffffffff})
r2 = socket$inet_icmp_raw(0x2, 0x3, 0x1)
vmsplice(r1, &(0x7f0000000280)=[{&(0x7f0000000000)='&', 0x1}], 0x1, 0x0)
splice(r0, 0x0, r2, 0x0, 0x7ff, 0x0)