r0 = socket$inet_udplite(0x2, 0x2, 0x88)
sendto$inet(r0, &(0x7f0000000000)="16", 0x1, 0x800, &(0x7f0000000100)={0x2, 0x4e24, @local}, 0x10)