Constant DFCS_MENUCHECK 

pub const DFCS_MENUCHECK: DFCS_STATE;