Symbol: tcp_in_window