Listing: 1 MODULE TCase; 2 VAR b : BOOLEAN; x : INTEGER; 3 BEGIN CASE b OF 1 : x := 1 ELSE x := 2 END ***** ^ incompatible comparison 4 END TCase. 1 error