PROCEDURE JustDoIt (VAR i: LONGINT);
BEGIN
   IF ODD(i) = ODD(i DIV 2) THEN (* bit0 = bit1? *)
      IF ODD(i) THEN (* bit0 = 1? *)
         DEC(i) (* bit0 := 0 *)
      ELSE
         INC(i) (* bit0 := 1 *)
      END
   END
END JustDoIt;

PROCEDURE JustDoIt (i:LONGINT) : LONGINT;
VAR
    b0, b1 : BOOLEAN;
    j : SET;
BEGIN
    j := SYSTEM.VAL(SET, i);
    b0 := 0 IN j;
    b1 := 1 IN j;
    IF b0 # b1 THEN
        j:=j+{0}
    ELSE
        j:=j-{0};
    END;
    RETURN SYSTEM.VAL(LONGINT, j);
END JustDoIt;

{0}/{0} = {}
{0} XOR {0} = {1 .. 31}

i{0} := i{0} # i{1}

  Counter.bit0 ^= Counter.bit1; // и всего делов

i{0} := i{0} # i{1}