TYPE
   Type = POINTER TO RECORD [untagged]
      size-: INTEGER;
      mod-: Kernel.Module;
      id-: INTEGER;
      base-: ARRAY 16 OF Kernel.Type;
      fields-: Kernel.Directory;
      ptroffs-: ARRAY 1000000 OF INTEGER
   END;

MODULE M;

   IMPORT Kernel;
   
   PROCEDURE P (IN a: ARRAY OF INTEGER; size: INTEGER): INTEGER;
      VAR i, res: INTEGER;
   BEGIN
      i := 0; WHILE (a[i] # -1) & (a[i] + 8 <= a[i + 1]) DO INC(i) END;
      IF a[i] = -1 THEN res := -1
      ELSE res := a[i] + 4; IF res + 4 > size THEN res := -1 END
      END;
      RETURN res
   END P;
   
   PROCEDURE LookupMarkOffs (t: Kernel.Type): INTEGER;
   BEGIN RETURN P(t.ptroffs, t.size)
   END LookupMarkOffs;

END M.

MODULE M;

   IMPORT Kernel;
   
   PROCEDURE P (IN a: ARRAY OF INTEGER; size: INTEGER): INTEGER;
      VAR i, res, sizeInt: INTEGER;
   BEGIN
      sizeInt := 8;
      IF a[0] > sizeInt THEN
        res := 0;
      ELSE
        i := 0;
        WHILE (a[i + 1] # -1) & (a[i] + sizeInt > a[i + 1]) DO
            INC(i)
        END;

        IF a[i + 1] = -1 THEN
            res := -1
        ELSE
            res := a[i] + sizeInt;
        END;
      END;
      RETURN res
   END P;
   
   PROCEDURE LookupMarkOffs (t: Kernel.Type): INTEGER;
   BEGIN RETURN P(t.ptroffs, t.size)
   END LookupMarkOffs;

END M.

i:=0;
WHILE i=p[i] DO INC(i) END;
IF i >= size THEN i := -1 END;

prev=начало области
i=0
WHILE a[i]!=-1 and (a[i] - prev < нужный_кусок) DO
  prev=a[i]
  i=i+1
END

i:=0;
WHILE 4*i=p[i] DO INC(i) END;
i := 4*i;
IF i >= size THEN i := -1 END;

 res := -1;
 i := 0;
 WHILE (a[i] # -1) & (res = -1) DO
     IF i > 0 & (a[i] - SIZE(anyptr) - SIZE(INTEGER) > a[i - 1])
                OR (a[i] - SIZE(anyptr) - SIZE(INTEGER) >= 0)
           res := a[i] - SIZE(INTEGER)
     END;
     INC(i)
 END;

res:=0;
i:=0;
eof:=FALSE;
WHILE ~eof & res+8>a[i] DO
  eof:= (a[i]=-1) or (i=imax);
  res:=a[i]+8;
  INC(i);
END
IF eof THEN res:=-1 END

i := 0; start := 0; end := ptroffset[ 0 ];
WHILE ( end # -1 ) & ( end - start < 4 ) DO
  INC( i );
  start := end;
  end := ptroffset[ i ];
END;
IF size - start < 4 THEN start := -1; END;

   PROCEDURE LookupMarkOffs (t: Kernel.Type): INTEGER;
      VAR spaceBeg, pi: INTEGER;
   BEGIN
      spaceBeg := 0; (* Где заканчивается предыдущий указатель *)
      pi := 0;
      (* Найти такой указатель среди ptroffs, перед которым есть свободное место для целого числа *)
      WHILE (t.ptroffs[pi] # -1) & ~(spaceBeg + SIZE(INTEGER) <= t.ptroffs[pi]) DO
         spaceBeg := t.ptroffs[pi] + SIZE(ANYPTR);
         INC(pi)
      END;
      (* Q: Если pi найден (ptroffs[pi] # -1), то spaceBeg - начало свободного пространства перед ним (=> spaceBeg + SIZE(INTEGER) < t.size)
         Если pi не найден, то spaceBeg - пространство после последнего указателя.
         Надо проверить, что spaceBeg + SIZE(INTEGER) < t.size *)
      IF spaceBeg + SIZE(INTEGER) <= t.size THEN
         RETURN spaceBeg
      ELSE
         RETURN -1
      END
   END LookupMarkOffs;