pub const DEBUG_EXECUTE_NO_REPEAT: u32 = 4u32;