MODULE Test;

VAR
  i : INTEGER;
  s : SET;

BEGIN
  INC(i);
  ASSERT(i = 1);
  DEC(i);
  ASSERT(i = 0);

  INCL(s, 3);
  ASSERT(3 IN s);
  EXCL(s, 3);
  ASSERT(~(3 IN s));
END Test.

Проверка встроенных процедур.