Constant DNS_INFO_NO_RECORDS

pub const DNS_INFO_NO_RECORDS: u32 = 9501;