r0 = socket$inet_tcp(0x2, 0x1, 0x0)
setsockopt$inet_buf(r0, 0x0, 0x2d, &(0x7f0000003180)="9b3dd1d62d855930c58fb5548346f7d331117dceae1a0007a34e42a6e2cd35be754b8698b3b7dfc12429a3334c567941f4af10e94b4a63ffcdc07f672c6a131c0db6aadafd7204832078465709907716f8b6f2953b1419dc08243a00e18fc3398e11397e79ba28ee11e01734da2ae3f9a9a20f4f9f3c2098d59e846eca7813c9042f14fe5e695966", 0x88)