Constant DFCS_BUTTONPUSH 

pub const DFCS_BUTTONPUSH: DFCS_STATE;