PROCEDURE MultiFind* (IN s: ARRAY OF BYTE; beg, end: INTEGER; wordCount: INTEGER; IN words: ARRAY OF ARRAY OF BYTE; IN lens: ARRAY OF INTEGER; OUT word, pos: INTEGER);
      VAR i, w, wlen, j: INTEGER;
   BEGIN
      ASSERT(wordCount >= 1, 20);
      i := beg; w := 0; wlen := lens[0];  j := 0;
      LOOP   IF (i + j < end) & (j < wlen) & (s[i + j] = words[w][j]) THEN
         (* продолжаем сравнение с текущим словом *)
         INC(j)
      ELSIF (i + j < end) & (j < wlen) & (w < wordCount - 1) THEN
         (* если нашли несовпадение с текущим словом и есть ещё слова *)
          INC(w); wlen := lens[w]; j := 0
      ELSIF (i + j < end) & (j < wlen) THEN
         (* нашли несовпадение с последним словом *)
         INC(i); w := 0; wlen := lens[0]; j := 0
      ELSE EXIT END END;
      IF j = wlen THEN
         word := w; pos := i
      ELSE
         word := -1; pos := -1
      END
   END MultiFind;

   PROCEDURE FindCloseTag*(VAR fc: Data.FindContext; IN tag: ARRAY OF SHORTCHAR);
      VAR words: ARRAY 2 OF ARRAY Data.maxWordLen OF BYTE;
            lens: ARRAY 2 OF INTEGER;
            depth: INTEGER;
            res: INTEGER;      
   BEGIN
      O2libData.StringToBytes('<' + tag, lens[0], words[0]);
      O2libData.StringToBytes('</' + tag, lens[1], words[1]);
      depth := 0;
      Data.MultiFind(fc, 2, words, lens);
      LOOP IF (fc.word = 0) THEN
         INC(depth);
         SkipTag(fc);
         Data.MultiFind(fc, 2, words, lens)
      ELSIF (fc.word = 1) & (depth > 0) THEN
         DEC(depth);
         SkipTag(fc);
         Data.MultiFind(fc, 2, words, lens)
      ELSE   EXIT END END;
   END FindCloseTag;

Data.FindContext = EXTENSIBLE RECORD
      rd: Data.Reader;
      len, read: LONGINT;
      found: BOOLEAN;
      word: INTEGER
   END;

PROCEDURE MultiFind* (IN source: ARRAY OF BYTE; begin, end, wordCount: INTEGER; IN words: ARRAY OF ARRAY OF BYTE; IN lens: ARRAY OF INTEGER; OUT word, pos: INTEGER);
  VAR w, j: INTEGER;
BEGIN word := -1; pos := -1;
  WHILE begin < end DO
    w := 0;
    WHILE w < wordCount DO
      IF (begin + lens[w] <= end) & (source[begin] = words[w][0]) THEN
        j := 1; (* это оптимизация: первую букву j=0 уже проверили в IF без организации тяжёлого WHILE *)
        WHILE (j < lens[w]) & (source[begin + j] = words[w][j]) DO INC(j) END;
        IF j = lens[w] THEN
          word := w; pos := begin; (* запоминаем ответ *)
          w := wordCount; begin := end (* симулируем EXIT *)
        END
      END;
      INC(w)
    END;
    INC(begin)
  END
END MultiFind;

WHILE (i + j < end) & (j < wlen) DO
  IF (s[i + j] = words[w][j]) THEN
    INC(j)
  ELSIF (w = wordCount - 1) THEN
    (* дальше нельзя увеличивать w *)
    INC(i); w := 0; wlen := lens[0]; j := 0
  ELSE
     INC(w); wlen := lens[w]; j := 0
  END;
END;
---------------------------------------------
WHILE (i + j < end) & (j < wlen) DO
  IF (s[i + j] = words[w][j]) THEN
    INC(j)
  ELSE
    INC(w);
    IF (w = wordCount) THEN
      INC(i); w := 0; wlen := lens[0]; j := 0
    ELSE
       INC(w); wlen := lens[w]; j := 0
    END;
  END;
END;

      i := 0;
      oneZero := FALSE;
      LOOP IF (i < LEN(a)) & ~oneZero THEN
         oneZero := a[i] = 0;
         INC(i);
      ELSIF (i < LEN(a)) & (a[i] # 0) THEN
         oneZero := FALSE;
         INC(i);
      ELSE EXIT END END;
      
      IF i < LEN(a) THEN (*эквивалентное упрощение: albobin*)
         Log.String("нашли: ");  Log.Int( i-1 );  Log.Ln;
      ELSE
         Log.String("не нашли");  Log.Ln;
      END;

NumZeroes := 0;
Success   := FALSE;
i         := 0;

WHILE (i < LEN(a)) & ~Success DO
  IF a[i] = 0 THEN
    INC(NumZeroes);
    Success := NumZeroes = 2;
  ELSE
    NumZeroes := 0;
  END;

 INC(i);
END;

      i := 0;
      oneZero := FALSE;
      WHILE (i < LEN(a)) & ~oneZero DO
         oneZero := a[i] = 0;
         INC(i);
      ELSIF (i < LEN(a)) & (a[i] # 0) DO
         oneZero := FALSE;
         INC(i);
      END;