pub const TCPSTATE_FIN_WAIT_1: TCPSTATE = _; // 5u32