type annotations for tcp_state