pub const DNS_INFO_NO_RECORDS: u32 = 9501; // 9_501u32