Constant DFCS_PUSHED 

pub const DFCS_PUSHED: DFCS_STATE;