Symbol: dump_tcpcb