Constant DNS_ERROR_NUMERIC_NAME 

pub const DNS_ERROR_NUMERIC_NAME: u32 = 9561;