use int