pub const DNS_MAX_SERVERS: u32 = 3; // 3u32