Constant DBG_DEVICE_FLAG_SYNTHETIC 

pub const DBG_DEVICE_FLAG_SYNTHETIC: u32 = 16u32;