pub const DEBUG_OUTPUT_DEBUGGEE: u32 = 128u32;