pub const DEBUG_BREAKPOINT_CODE: u32 = 0u32;