r0 = socket$inet6_tcp(0xa, 0x1, 0x0)
setsockopt$inet6_IPV6_DSTOPTS(r0, 0x29, 0x3b, &(0x7f00000000c0)={0x0, 0xfe, '\x00', [@jumbo, @ra, @pad1, @hao={0xc9, 0x10, @dev}, @enc_lim, @generic={0x0, 0x7cd, "20db7400cf707d9969bec1f9f3a0c01ec284155a637d4218f5feaa0678e89648b3c386a8d65b421a8dbabd49fa64f06f63ff35345fb4b5e8396488e2452cfac6936f16678766dda86ca965f2e528a8e4b3b23388fc9f0abe28ce56185519e2b3ba754a4e1cbc4ce5001e5cd4a2d4875fc781faa29d4401a537ce3384c28e21e5062660e15c83274b5f15a59f18cfef74f45bb6a8f8b5d0d8789962682680e6e5bb9dc7e9a329c5b120d2115e3e9117fbc05dda46139407cefb0739b53b2026db5134244e88a96f97450c5923df7149dd242e3ebfd60b84366aac8bb93f28d043a13d19857fcfd68a3af92c4c24f155d3ebe18fedfa9ac8693910ec85538498a1be9a3367e739bf44e0a5dc9270811c24fb5a7a0b3344dfe852f3ab866434a05db770b33e0bacba2abc1b1c60d9ac0bf7a2dd7eb06d87efc48279d568c2a44df9cb9b58ba4b9fbcecc18970d6f93edfef995a54ebf0eee098534d1edd283a3501bbb77f4fa56cc563464270134ba7f9a02635d5bdbed96b73bb193202408e75a6cc1cf718e58dbe1ab63b0ee11b531889426afc507e62c2a94aec0c9997d36d3beac211c9be1c1eda3b40b37db19f43ba059949dfce71fa564c4d937c1ce88a4728de759617ca89f4aa9d9221d61c46a557fb581bff0937b979bf7a7b815b34c7359cbe31508cf0926ff0b094aa9abfab3d104523a4b95d0192dc4ed33429a475ca5b8caafda5a12f097ee239a48178b6f9c50e5c4c0c60b8db5259b1f3b967613648da69b6b90ebf91a041c633c566369a407c0cd93401dd61185888660fb4d8d43323281e6e0012ca3517a1ae90cb545cfc78ac9e3f206b9e4172fd33af6effca0e5b235c6d874a571547117ee859f886d111e2cce784ba62f148e8fbe1efad63adddab1800f3f82d78622c6631fdd9a5025056cd9b75f77f3e1e530e161aacf959d183b75b0a2e52b0dff2c23fb721ed1d4b0d69c9db46a8915909969453fd3050e7669b1b56fa74a8223651a34751c9228012db186fc1c2de2255aff7024cccb7dcb49e275596ce1f5e924a70cf2822eb45b6e62064682bd258d715917f7b4805f9e84c696a7ed4a33b8c644c2564d2a5a2a03f04739c3743331d59cb5cc9eb1d139605bba3a5c4357538223c978c8f7408b0743bef786b1c5980ef03090774b4c5fcdcafbe3bd78d657d79bce3a0ba63201dc2e7d83a23b7bb6a26473189ef8f6360e65e8401107ad3e37e4fd3695945198f673b55d93d029cab451e461068390f1d8f871241d67e51229506d9928be25d4a3208c5767203e125d1b42ac974febc9cf689873681ef151792ed06b4074d45c17198f45e7c708d082cf84173d96d6cf0792f2c228919a5a5b090347a33060da53f078e1214a6ab63c4c749136ec03b669f993326fcd1c03da9c88144b7c8085a1761d19f83dbb8f565b8acbaeb34b503d304fba0a9df4f0976584c851492e5c85a47bfb7cc67205775ef934d42473cb96ac9f91e3aca64093a9f71b3c5433913a03c751d643fb1f7945603cc284da6593c65cd5f681cb0041aafaf4718b9d76ab639b1511825619aa71d31adfb460e1ec36316e2b805f060ec9efe2a4efdecb06c46165f53692cc69de6b009b233aed04975fbe67a7ec9d071ac55e150e545e8529065735a2e06b83149dfadc5ae0a7cb9321a90ac89a58fb59c0987c5edaa5adc17f52678f3ed48c700edd1c26370a12ff8e24b74c3820cf185f0c744ea4f39d8fee98f13d202a087a03e982710b126a632ffbc8b76d31194c2a0ef15bf1708011590b3651b25ce54c4757a9e894cbfb6218f234f63ce7b351dda9ad736411fcdae4ba43202e9e69dca567dd5fbf881e3b142345fef9e71fabc405c70c35a17d2d98abbfd5c1f14013cec3d6ba1f8d83af6d3443cc3d1fb67647f26b86d048c79a1cdf931c1f3c5959a2af74c11a224d320b885f454b2c5e6cc8104529ee64d2237004d25eb23492b4868e9486294f16b10ebdb94c9a24e0234733f7ebbe4230b39ee6703d3ffb9d47bb4c99516e1229811cc3c01bfac807514ea9911e6cccc64916c3d4767f4cbd7e726f817294d90b9601805a14bd76c979a6a4616dcf2d8dd84d2204e106fc82b389658015308dec0ea3fc00d65f497a66032c97a855be32f6ca872bf6c9ba5c6bf8b15edd25c0d92894c11a37a33b7bc5a787dc7e44bbd57aa7f0b94dd6cfa737790b3074427bb4ef9d0d4bdd7a89976d2448983e3a0378872c356db0a52623844cfaf1dab2afab00600878dbd9ac9dd8381a40673fc0f390b95571ff5b937b4141e6a5a6e71d791754176d980ca6a1ee11f3e8932dafc6c93d784ed15ab27b57a1ac44c8e5851161b553a1789f55de99cfc2d2c8275352ee02d501a45c036a506009b8c24142088d8985783b3d7196883c2cc836d80985b4a62e462635a539da6c2e6e01f0490307a73244337c8e169d51174f603d9bad7d0c06c6fcd12745248a41c7ac4ac3c4ed86b4c9f17e1e0748019e73e473c5b6f265e9aef141d26e1860df8788402141649fc54fc65fc5142cf475102982d382587afc40590c3fab8a92b3be038867ab63af6f3ce16e95d80633fd49e577effb93889e4a6c0772f3ab46a6b9a340a4769882e4ecdae1ce725d933e56f34b42b0f41b965a2b28cee8d52fe1f2d5333b230c92fe5bbed70ee548eaff6a19b8d3e86dc197379c2676834745ef43a81b3bdadafc737738b86a6e3f6d68a88a6a52b2ba1d75397379ef79ad5da67cf255ab02b02256a13ec41289b242cb90990b08dc155d2ca1876796db3937a0fde259254b913cf573915294120"}]}, 0x800)