IMPORT
  SEM:=Semaphores;
...
CONST
  Count = ...
...
VAR
  ind:LONGINT; (* Глобальный счётчик для нескольких потоков *)
  S:SEM.SEMAPHORE;
...

PROCEDURE Proc; (* Процедура, выполняемая в нескольких потоках одновременно *)
  BEGIN
...
    LOOP

      SEM.Claim(S); (* Начало критической секции *)
      i:=ind;
      INC(ind);
      SEM.Release(S); (* Конец критической секции *)
      IF i>=Count THEN
        EXIT
      END;
...
    END; (* LOOP *)
...
  END Proc;

...

BEGIN
  SEM.Create(S,1);
FINALLY
  SEM.Destroy(S);
END ModuleName.

REPEAT
  exitCondition := CriticalSectionEvaluation()
UNTIL exitCondition;