pub const DEBUG_CURRENT_REGISTERS: u32 = 4u32;