pub const DBG_DEVICE_FLAG_SCRATCH_ALLOCATED: u32 = 4u32;