Symbol: DBG_REG_T4