Symbol: DBG_REG_T3