use int type instead of InstIdentifier class