DEFINITION ExportedFeatures; (*documentation...*)

	IMPORT F := Files;

	CONST
		s = "s* = 'foo'; (**"; (*(*"foo"*)*)

	TYPE
		T = RECORD
			f: RECORD (*documentation...*)
				h: INTEGER
			END;
		END;

		T1 = RECORD (T) END;

	VAR
		x: T; (*documentation...*)
		u: F.File;

	PROCEDURE P(x: INTEGER;
		y: REAL;
		z: BYTE);
(*documentation,
documentation...*)

	PROCEDURE R((*in/out*) VAR x: INTEGER; (*out*) VAR y: REAL; VAR z: BYTE);
(*documentation...*)

END ExportedFeatures.
