PROCEDURE CallProc (IN mod, proc: ARRAY OF CHAR);
         VAR i, t: Meta.Item; ok: BOOLEAN;
      BEGIN
         ok := FALSE;
         Meta.Lookup(mod, i);
         IF i.obj = Meta.modObj THEN
            i.Lookup(proc, i);
            IF i.obj = Meta.procObj THEN
               i.GetReturnType(t);
               IF (t.typ = 0) & (i.NumParam() = numPar) THEN
                  i.ParamCallVal(par, t, ok)
               ELSE ok := FALSE
               END;
               IF ~ok THEN
                  Error(incompParList, "#System:IncompatibleParList", mod, proc)
               END
            ELSE
               Error(Kernel.commNotFound, "#System:CommandNotFoundIn", proc, mod)
            END
         ELSE
            ShowLoaderResult(mod)
         END
      END CallProc;

PROCEDURE CheckProcWithoutPar (IN name: ARRAY OF CHAR): BOOLEAN;
   VAR val: RECORD (Meta.Value) proc: PROCEDURE END;
      it : Meta.Item;
      ok: BOOLEAN;
BEGIN
   ok := FALSE;
   Meta.LookupPath(name, it);
   IF it.Valid() THEN
      it.GetVal(val, ok)
   END;
RETURN ok
END CheckProcWithoutPar;