Constant DNS_WARNING_DOMAIN_UNDELETED 

pub const DNS_WARNING_DOMAIN_UNDELETED: u32 = 9716;