<<>> <> <> <> <<>> <<>> BasicVersionStamp: CEDAR DEFINITIONS ~ { <> VersionStamp: TYPE = ARRAY [0..1] OF CARD; NullVersion: VersionStamp = [0, 0]; }.