r0 = socket$inet6_udplite(0xa, 0x2, 0x88)
setsockopt$inet6_buf(r0, 0x29, 0x30, &(0x7f0000004200)="9d43e2ec12babe231b567975bdc090179ba8553674182884b561e0367e5b57720b0b3c38bf748b222676888e0e34de9543395c03076098eac67a871e5f7c0fcb6150c4df20989cf31bf5a76b0d4ad320cdc825442e39bd0ca7601f4ad7529a6da757d2c4829bffb5db662de1013ad6f0395335fa2718ebc46986878e6320d0becc5f9ead62fb9a0429bc050eb294b8ba", 0x90)