use int rather than int64