pub const DEBUG_BREAKPOINT_ONE_SHOT: u32 = 16u32;