Constant DNS_ERROR_NO_DNS_SERVERS 

pub const DNS_ERROR_NO_DNS_SERVERS: u32 = 9852;