r0 = socket$inet6_tcp(0xa, 0x1, 0x0)
setsockopt$inet6_buf(r0, 0x29, 0x2d, &(0x7f00000002c0)="290eaacf36bd06695b18b0982168dc29436d653dccceef84b27ad3de84b0937388cf8d37786aa4ff36fe667aa82a03434ab7e7b379e218c1e8c7c959d70a2da0d0862a0c3f17dcaa58a3441da99e7363c50c29de95dac748e0133da6fdab8cdb5140739e3d96d16628ba045ab9e4af495afc209b98ee352adfec501a3473c4bf376df7c640bf9d74", 0x88)