r0 = socket$nl_xfrm(0x10, 0x3, 0x6)
pipe(&(0x7f00000003c0)={0xffffffffffffffff, <r1=>0xffffffffffffffff})
vmsplice(r1, &(0x7f0000000140)=[{&(0x7f00000002c0)='v', 0x1}], 0x1, 0x0)
close_range(r0, 0xffffffffffffffff, 0x0)