Constant DNS_INFO_NO_RECORDS 

pub const DNS_INFO_NO_RECORDS: u32 = 9501;