debugging VersionState()