Constant DNS_SETTING_DOH_PROFILE 

pub const DNS_SETTING_DOH_PROFILE: u32 = 8192u32;