ensure we use int32