r0 = socket$inet6_icmp_raw(0xa, 0x3, 0x3a)
sendmsg(r0, &(0x7f0000000540)={&(0x7f0000000000)=@in6={0xa, 0x0, 0x0, @ipv4={'\x00', '\xff\xff', @loopback}, 0x3}, 0x80, 0x0}, 0x0)