Symbol: tcp_bound_to_half_wnd