pub const DNS_ERROR_NEED_WINS_SERVERS: u32 = 9616; // 9_616u32