pub const DEBUG_OUTPUT_DEBUGGEE_PROMPT: u32 = 256u32;