r0 = socket$inet6_udp(0xa, 0x2, 0x0)
setsockopt$inet6_buf(r0, 0x29, 0x23, &(0x7f00000000c0)="ad87cf5ea909a7e9bee7180d28ca29c2c959c7156a0ee64ea5b4a5b273289e684fbefaa14925fc65fcd33d52e8b2e499deb52b5b06528ffd7e14f5902cd78d84a04b7c20767be5036c5e1474894b07b7c5af031b5a73c425dc38e089f3ce586012193dc5ef27785d70943b7aad9cf2d3feef2a3391bb9614e32b33932acd9efaaab343ff8b5f0ffe2d803eb415d81e8063667543e3c38ee8425102d357c971aa71ef597bb4f78443", 0xa8)