openat$tcp_congestion(0xffffffffffffff9c, &(0x7f0000000040), 0x1, 0x0)
r0 = syz_open_procfs(0x0, &(0x7f0000000100)='fd/3\x00')
readv(r0, &(0x7f0000001440)=[{&(0x7f0000000140)=""/136, 0x88}], 0x1)