Constant DNS_RCODE_BADVERS 

pub const DNS_RCODE_BADVERS: u32 = 16u32;