DEFINITION MODULE Version;

EXPORT QUALIFIED VersionNumber;

CONST LengthOfVersionNumber = 4; (* 3 digits + decimal point *)

VAR VersionNumber : ARRAY [0..LengthOfVersionNumber] OF CHAR;

END Version.
