Constant SECURITY_IE_STATE_RED 

pub const SECURITY_IE_STATE_RED: u32 = 1u32;