Symbol: test_hpts_free_tcpcb