DEFINITION extArgs; (*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 extArgs.