DEBUG_OUTPUT_PROMPT_REGISTERS

Constant DEBUG_OUTPUT_PROMPT_REGISTERS 

pub const DEBUG_OUTPUT_PROMPT_REGISTERS: u32 = 32u32;