r0 = socket$inet_udp(0x2, 0x2, 0x0)
setsockopt$inet_opts(r0, 0x0, 0x4, &(0x7f0000000080)="b511bd5778f5ec532dee6c4369859c287df7", 0x12)