SYSTEM MODULE ProgArgs; PROCEDURE GetArg*( p0 : INTEGER; OUT p1 : ARRAY OF CHAR); PROCEDURE ArgNumber*() : INTEGER; END ProgArgs.