pub const DEBUG_OUTPUT_PROMPT: u32 = 16u32;