use int in Vector