Symbol: DBG_REG_TP