r0 = socket$inet6_udplite(0xa, 0x2, 0x88)
setsockopt$inet6_buf(r0, 0x29, 0x2a, &(0x7f0000000500)="53ef558bdaba407000d467ffe572eb75e635c0588e2d440783cc9e14fedba0b8d8beb5b25c4a9a24ff9b03d87c2d216933ae405eb85f689c41a68bec114c8ae0f4b916376f6deeac2d44b28ba878ed725d7d9497c9d5bc08322b69df9c7296bd7db16e886da33e1cb45b2b8671de1d5cfd44e2f0addca2763e46f4c79aca573a567c81b56d17e1ff", 0x88)