begin
   integer faults = -42
   if faults > 0 start
      ! Label ID generation messes up due to block structure. Note that the problem
      ! is either in pass1 or icode2ast.c - changing genc.c to output the block as
      ! an anonymous procedure or just a simple C "{ ... }" grouping has no effect
      ! on the label IDs used for these two %if statements...
      begin
         printsymbol('s') if faults > 1
         printstring("BUG!"); newline
      end
   finish
end of program