MODULE boo;

IMPORT  InOut;

VAR     result, done            : BOOLEAN;
        A, B                    : INTEGER;

BEGIN
   result := (1 = 2);
   result := NOT result;
   done := FALSE;
   REPEAT
     InOut.ReadInt (A);
     InOut.ReadInt (B);
     done := A > B
   UNTIL done
END boo.