Constant DNS_ERROR_RCODE_FORMAT_ERROR 

pub const DNS_ERROR_RCODE_FORMAT_ERROR: u32 = 9001;