diff --git a/src/library/v4/Args.Mod b/src/library/v4/Args.Mod
old mode 100644
new mode 100755
index 578ac7e5..c3621116
--- a/src/library/v4/Args.Mod
+++ b/src/library/v4/Args.Mod
@@ -10,7 +10,7 @@ MODULE Args;  (* jt, 8.12.94 *)
     ArgVec = POINTER TO ARRAY 1024 OF ArgPtr;
 
   VAR
-    argc-: LONGINT;
+    argc-: INTEGER;
     argv-: SYSTEM.ADDRESS;