MODULE ProgArgsProg;
(* ProgramArgs with no arguments: count 0, GetArg fails.  Exit 7. *)
IMPORT ProgramArgs;
VAR ExitCode : INTEGER;
VAR s : ARRAY [0 .. 63] OF CHAR;
BEGIN
  IF ProgramArgs.ArgCount() = 0 THEN
    ExitCode := ExitCode + 1
  ELSE ExitCode := 100 END;
  IF NOT ProgramArgs.GetArg(1, s) THEN
    ExitCode := ExitCode + 2
  ELSE ExitCode := 100 END;
  IF NOT ProgramArgs.GetArg(999, s) THEN
    ExitCode := ExitCode + 4
  ELSE ExitCode := 100 END
END ProgArgsProg.