pub const DBG_DEVICE_FLAG_SYNTHETIC: u32 = 16u32;