Constant SAVER_NAVSERVERTIMEOUT 

pub const SAVER_NAVSERVERTIMEOUT: BUGCHECK_ERROR;