pub const DNS_UPDATE_TRY_ALL_MASTER_SERVERS: u32 = 4096u32;