Constant DFCS_HOT 

pub const DFCS_HOT: DFCS_STATE;