pub const TCPSTATE_MAX: TCPSTATE = _; // 11u32