r0 = socket$inet6_tcp(0xa, 0x1, 0x0)
listen(r0, 0x0)
r1 = syz_open_procfs(0x0, &(0x7f0000000000)='net/tcp\x00')
read(r1, &(0x7f00000002c0)=""/225, 0xe1)