Library std

DEFINITION stdArgs;
(*Access to program arguments*)

	VAR
		count: INTEGER; (*number of arguments*)

	PROCEDURE Get(n: INTEGER; VAR arg: ARRAY OF CHAR; VAR res: INTEGER);
(*returns in arg the n:th command line argument (0 <= n < count). If the size of arg is not large enough to hold the result of the operation, the result is truncated so that arg is always terminated with a 0X. The residual number of truncated characters is assigned to res.*)

END stdArgs.