Constant DNS_ERROR_DATAFILE_BASE 

pub const DNS_ERROR_DATAFILE_BASE: u32 = 9650;