pub const DEBUG_CES_EFFECTIVE_PROCESSOR: u32 = 2u32;