MODULE ExportedFeatures; (**documentation...*)

	IMPORT F := Files, Out;

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

	TYPE
		T0 = INTEGER;

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

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

		T2 = RECORD
			(*f*: INTEGER*)
		END;

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

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


	PROCEDURE Q;
(*documentation...*)
	END Q;


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

END ExportedFeatures.
