pub const DEBUG_STACK_NONVOLATILE_REGISTERS: u32 = 32u32;