IMPLEMENTATION MODULE ProgramArgs;
(* Over the SysShim bridge (which reads /proc/self/cmdline). *)

IMPORT SysShim;

PROCEDURE ArgCount() : CARDINAL;
  VAR n : CARDINAL;
BEGIN
  n := SysShim.argc();
  IF n = 0 THEN
    RETURN 0
  ELSE
    RETURN n - 1
  END
END ArgCount;

PROCEDURE GetArg(n : CARDINAL; VAR s : ARRAY OF CHAR) : BOOLEAN;
BEGIN
  RETURN SysShim.arg(n, s, HIGH(s) + 1)
END GetArg;

END ProgramArgs.