Symbol: DBG_REG_EPC