Listing: 1 MODULE RBool; 2 VAR ExitCode : INTEGER; 3 b : BOOLEAN; 4 i : INTEGER; 5 BEGIN 6 i := 0; 7 b := (3 <= 4) AND (4 >= 5) OR NOT FALSE; 8 IF b THEN i := i + 1 END; 9 IF (1 = 1) AND (2 # 3) AND NOT (4 < 3) THEN i := i + 10 END; 10 IF (5 <> 5) OR (6 <= 5) THEN i := i + 100 END; 11 ExitCode := i 12 END RBool. 0 errors