MODULE Args EXPORTS Main; IMPORT IO, Params; BEGIN IO.Put(Params.Get(0) & "\n"); IF Params.Count > 1 THEN FOR i := 1 TO Params.Count - 1 DO IO.Put(Params.Get(i) & "\n"); END; END; END Args.