-- Test file generated automatically by gentest.icn
-- All your changes to this file might be discarded

with Interfaces, Turbo, Turbo.Atomic, Ada.Text_IO, Ada.Exceptions;

use  Interfaces, Turbo, Turbo.Atomic, Ada.Text_IO, Ada.Exceptions;

procedure Atomic_X_Test_14 is

   Success : Boolean := False;

begin

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);
      begin
         Do_And (Item'Access, 2#1111_0000#);
         Success := Lazy_Get (Item) = 2#0110_0000#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#0110_0000#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#0110_0000#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);
      begin
         Do_Or (Item, 2#1111_0000#);
         Success := Lazy_Get (Item) = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);
      begin
         Do_Or (Item'Access, 2#1111_0000#);
         Success := Lazy_Get (Item) = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);
      begin
         Do_Xor (Item, 2#1111_0000#);
         Success := Lazy_Get (Item) = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);
      begin
         Do_Xor (Item'Access, 2#1111_0000#);
         Success := Lazy_Get (Item) = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (69 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);
         Success := +Item = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (24 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);
         Success := +Item = 19 * 16#0103_a84c# and Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (33 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);
         Success := +Item = 33 * 16#0103_a84c# and not Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (54 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);
         Success := +Item = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (46 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);
         Success := +Item = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (10 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);
         Success := +Item = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := +Item = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := +Item = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (27 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);
         Success := +Item = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := +Item = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := +Item = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);
      begin
         Inc (Item);
         Success := +Item = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := +Item = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := +Item = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);
      begin
         Inc (Item'Access);
         Success := +Item = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := +Item = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := +Item = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);
      begin
         Inc (Item, 5 * 16#0103_a84c#);
         Success := +Item = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);
      begin
         Inc (Item'Access, 5 * 16#0103_a84c#);
         Success := +Item = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);
      begin
         Dec (Item);
         Success := +Item = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := +Item = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := +Item = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);
      begin
         Dec (Item'Access);
         Success := +Item = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := +Item = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := +Item = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);
      begin
         Dec (Item, 6 * 16#0103_a84c#);
         Success := +Item = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);
      begin
         Dec (Item'Access, 6 * 16#0103_a84c#);
         Success := +Item = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (40 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access);
         Success := +Item = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := +Item = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := +Item = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (13 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);
         Success := +Item = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (65 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access);
         Success := +Item = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := +Item = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := +Item = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (49 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);
         Success := +Item = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (35 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access);
         Success := +Item = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := +Item = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := +Item = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (26 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);
         Success := +Item = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (31 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Dec (Item'Access);
         Success := +Item = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := +Item = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := +Item = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (64 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);
         Success := +Item = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (64 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (64 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);
      begin
         Do_And (Item, 2#1111_0000#);
         Success := +Item = 2#0110_0000#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#0110_0000#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#0110_0000#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);
      begin
         Do_And (Item'Access, 2#1111_0000#);
         Success := +Item = 2#0110_0000#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#0110_0000#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#0110_0000#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);
      begin
         Do_Or (Item, 2#1111_0000#);
         Success := +Item = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);
      begin
         Do_Or (Item'Access, 2#1111_0000#);
         Success := +Item = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);
      begin
         Do_Xor (Item, 2#1111_0000#);
         Success := +Item = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);
      begin
         Do_Xor (Item'Access, 2#1111_0000#);
         Success := +Item = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (69 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);
         Success := Get (Item'Access) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (24 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);
         Success := Get (Item'Access) = 19 * 16#0103_a84c# and Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (33 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);
         Success := Get (Item'Access) = 33 * 16#0103_a84c# and not Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (54 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);
         Success := Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (46 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);
         Success := Get (Item'Access) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (10 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);
         Success := Get (Item'Access) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Get (Item'Access) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Get (Item'Access) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (27 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);
         Success := Get (Item'Access) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Get (Item'Access) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Get (Item'Access) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);
      begin
         Inc (Item);
         Success := Get (Item'Access) = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := Get (Item'Access) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := Get (Item'Access) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);
      begin
         Inc (Item'Access);
         Success := Get (Item'Access) = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);
      begin
         Inc (Item, 5 * 16#0103_a84c#);
         Success := Get (Item'Access) = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);
      begin
         Inc (Item'Access, 5 * 16#0103_a84c#);
         Success := Get (Item'Access) = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);
      begin
         Dec (Item);
         Success := Get (Item'Access) = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := Get (Item'Access) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := Get (Item'Access) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);
      begin
         Dec (Item'Access);
         Success := Get (Item'Access) = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);
      begin
         Dec (Item, 6 * 16#0103_a84c#);
         Success := Get (Item'Access) = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);
      begin
         Dec (Item'Access, 6 * 16#0103_a84c#);
         Success := Get (Item'Access) = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (40 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access);
         Success := Get (Item'Access) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (13 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);
         Success := Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (65 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access);
         Success := Get (Item'Access) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (49 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);
         Success := Get (Item'Access) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (35 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access);
         Success := Get (Item'Access) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (26 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);
         Success := Get (Item'Access) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (31 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Dec (Item'Access);
         Success := Get (Item'Access) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (64 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);
         Success := Get (Item'Access) = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (64 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (64 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);
      begin
         Do_And (Item, 2#1111_0000#);
         Success := Get (Item'Access) = 2#0110_0000#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item'Access) = 2#0110_0000#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item'Access) = 2#0110_0000#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);
      begin
         Do_And (Item'Access, 2#1111_0000#);
         Success := Get (Item'Access) = 2#0110_0000#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item'Access) = 2#0110_0000#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item'Access) = 2#0110_0000#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);
      begin
         Do_Or (Item, 2#1111_0000#);
         Success := Get (Item'Access) = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item'Access) = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item'Access) = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);
      begin
         Do_Or (Item'Access, 2#1111_0000#);
         Success := Get (Item'Access) = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item'Access) = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item'Access) = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);
      begin
         Do_Xor (Item, 2#1111_0000#);
         Success := Get (Item'Access) = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item'Access) = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item'Access) = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);
      begin
         Do_Xor (Item'Access, 2#1111_0000#);
         Success := Get (Item'Access) = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item'Access) = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item'Access) = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (69 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);
         Success := Lazy_Get (Item'Access) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (24 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);
         Success := Lazy_Get (Item'Access) = 19 * 16#0103_a84c# and Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (33 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);
         Success := Lazy_Get (Item'Access) = 33 * 16#0103_a84c# and not Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (54 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);
         Success := Lazy_Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (46 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);
         Success := Lazy_Get (Item'Access) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (10 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);
         Success := Lazy_Get (Item'Access) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (27 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);
         Success := Lazy_Get (Item'Access) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);
      begin
         Inc (Item);
         Success := Lazy_Get (Item'Access) = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);
      begin
         Inc (Item'Access);
         Success := Lazy_Get (Item'Access) = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);
      begin
         Inc (Item, 5 * 16#0103_a84c#);
         Success := Lazy_Get (Item'Access) = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);
      begin
         Inc (Item'Access, 5 * 16#0103_a84c#);
         Success := Lazy_Get (Item'Access) = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);
      begin
         Dec (Item);
         Success := Lazy_Get (Item'Access) = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);
      begin
         Dec (Item'Access);
         Success := Lazy_Get (Item'Access) = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);
      begin
         Dec (Item, 6 * 16#0103_a84c#);
         Success := Lazy_Get (Item'Access) = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);
      begin
         Dec (Item'Access, 6 * 16#0103_a84c#);
         Success := Lazy_Get (Item'Access) = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (40 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access);
         Success := Lazy_Get (Item'Access) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (13 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);
         Success := Lazy_Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (65 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access);
         Success := Lazy_Get (Item'Access) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (49 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);
         Success := Lazy_Get (Item'Access) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (35 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access);
         Success := Lazy_Get (Item'Access) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (26 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);
         Success := Lazy_Get (Item'Access) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (31 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Dec (Item'Access);
         Success := Lazy_Get (Item'Access) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (64 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);
         Success := Lazy_Get (Item'Access) = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (64 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (64 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);
      begin
         Do_And (Item, 2#1111_0000#);
         Success := Lazy_Get (Item'Access) = 2#0110_0000#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 2#0110_0000#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 2#0110_0000#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);
      begin
         Do_And (Item'Access, 2#1111_0000#);
         Success := Lazy_Get (Item'Access) = 2#0110_0000#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 2#0110_0000#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 2#0110_0000#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);
      begin
         Do_Or (Item, 2#1111_0000#);
         Success := Lazy_Get (Item'Access) = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);
      begin
         Do_Or (Item'Access, 2#1111_0000#);
         Success := Lazy_Get (Item'Access) = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);
      begin
         Do_Xor (Item, 2#1111_0000#);
         Success := Lazy_Get (Item'Access) = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);
      begin
         Do_Xor (Item'Access, 2#1111_0000#);
         Success := Lazy_Get (Item'Access) = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := Lazy_Create (2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(69 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);
         Success := Get (Item) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(24 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);
         Success := Get (Item) = 19 * 16#0103_a84c# and Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(33 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);
         Success := Get (Item) = 33 * 16#0103_a84c# and not Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(54 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);
         Success := Get (Item) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(46 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);
         Success := Get (Item) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(10 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);
         Success := Get (Item) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Get (Item) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Get (Item) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(27 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);
         Success := Get (Item) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Get (Item) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Get (Item) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);
      begin
         Inc (Item);
         Success := Get (Item) = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := Get (Item) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := Get (Item) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);
      begin
         Inc (Item'Access);
         Success := Get (Item) = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := Get (Item) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := Get (Item) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);
      begin
         Inc (Item, 5 * 16#0103_a84c#);
         Success := Get (Item) = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);
      begin
         Inc (Item'Access, 5 * 16#0103_a84c#);
         Success := Get (Item) = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);
      begin
         Dec (Item);
         Success := Get (Item) = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := Get (Item) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := Get (Item) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);
      begin
         Dec (Item'Access);
         Success := Get (Item) = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := Get (Item) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := Get (Item) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);
      begin
         Dec (Item, 6 * 16#0103_a84c#);
         Success := Get (Item) = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);
      begin
         Dec (Item'Access, 6 * 16#0103_a84c#);
         Success := Get (Item) = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(40 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access);
         Success := Get (Item) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := Get (Item) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := Get (Item) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(13 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);
         Success := Get (Item) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(65 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access);
         Success := Get (Item) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := Get (Item) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := Get (Item) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(49 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);
         Success := Get (Item) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(35 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access);
         Success := Get (Item) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := Get (Item) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := Get (Item) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(26 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);
         Success := Get (Item) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(31 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Dec (Item'Access);
         Success := Get (Item) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := Get (Item) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := Get (Item) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(64 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);
         Success := Get (Item) = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(64 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(64 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item) = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);
      begin
         Do_And (Item, 2#1111_0000#);
         Success := Get (Item) = 2#0110_0000#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item) = 2#0110_0000#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item) = 2#0110_0000#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);
      begin
         Do_And (Item'Access, 2#1111_0000#);
         Success := Get (Item) = 2#0110_0000#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item) = 2#0110_0000#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item) = 2#0110_0000#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);
      begin
         Do_Or (Item, 2#1111_0000#);
         Success := Get (Item) = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item) = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item) = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);
      begin
         Do_Or (Item'Access, 2#1111_0000#);
         Success := Get (Item) = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item) = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item) = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);
      begin
         Do_Xor (Item, 2#1111_0000#);
         Success := Get (Item) = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item) = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item) = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);
      begin
         Do_Xor (Item'Access, 2#1111_0000#);
         Success := Get (Item) = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item) = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Get (Item) = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(69 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);
         Success := Lazy_Get (Item) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(24 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);
         Success := Lazy_Get (Item) = 19 * 16#0103_a84c# and Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(33 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);
         Success := Lazy_Get (Item) = 33 * 16#0103_a84c# and not Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(54 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);
         Success := Lazy_Get (Item) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(46 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);
         Success := Lazy_Get (Item) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(10 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);
         Success := Lazy_Get (Item) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(27 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);
         Success := Lazy_Get (Item) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);
      begin
         Inc (Item);
         Success := Lazy_Get (Item) = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := Lazy_Get (Item) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := Lazy_Get (Item) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);
      begin
         Inc (Item'Access);
         Success := Lazy_Get (Item) = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);
      begin
         Inc (Item, 5 * 16#0103_a84c#);
         Success := Lazy_Get (Item) = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);
      begin
         Inc (Item'Access, 5 * 16#0103_a84c#);
         Success := Lazy_Get (Item) = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);
      begin
         Dec (Item);
         Success := Lazy_Get (Item) = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := Lazy_Get (Item) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := Lazy_Get (Item) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);
      begin
         Dec (Item'Access);
         Success := Lazy_Get (Item) = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);
      begin
         Dec (Item, 6 * 16#0103_a84c#);
         Success := Lazy_Get (Item) = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);
      begin
         Dec (Item'Access, 6 * 16#0103_a84c#);
         Success := Lazy_Get (Item) = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(40 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access);
         Success := Lazy_Get (Item) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(13 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);
         Success := Lazy_Get (Item) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(65 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access);
         Success := Lazy_Get (Item) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(49 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);
         Success := Lazy_Get (Item) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(35 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access);
         Success := Lazy_Get (Item) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(26 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);
         Success := Lazy_Get (Item) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(31 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Dec (Item'Access);
         Success := Lazy_Get (Item) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := Lazy_Get (Item) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(64 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);
         Success := Lazy_Get (Item) = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(64 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(64 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);");
         Put_Line ("         Success := Lazy_Get (Item) = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);
      begin
         Do_And (Item, 2#1111_0000#);
         Success := Lazy_Get (Item) = 2#0110_0000#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#0110_0000#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#0110_0000#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);
      begin
         Do_And (Item'Access, 2#1111_0000#);
         Success := Lazy_Get (Item) = 2#0110_0000#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#0110_0000#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#0110_0000#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);
      begin
         Do_Or (Item, 2#1111_0000#);
         Success := Lazy_Get (Item) = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);
      begin
         Do_Or (Item'Access, 2#1111_0000#);
         Success := Lazy_Get (Item) = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);
      begin
         Do_Xor (Item, 2#1111_0000#);
         Success := Lazy_Get (Item) = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);
      begin
         Do_Xor (Item'Access, 2#1111_0000#);
         Success := Lazy_Get (Item) = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := Lazy_Get (Item) = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(69 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);
         Success := +Item = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(24 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);
         Success := +Item = 19 * 16#0103_a84c# and Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(33 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);
         Success := +Item = 33 * 16#0103_a84c# and not Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(54 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);
         Success := +Item = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(46 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);
         Success := +Item = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(10 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);
         Success := +Item = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := +Item = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := +Item = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(27 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);
         Success := +Item = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := +Item = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := +Item = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);
      begin
         Inc (Item);
         Success := +Item = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := +Item = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := +Item = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);
      begin
         Inc (Item'Access);
         Success := +Item = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := +Item = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := +Item = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);
      begin
         Inc (Item, 5 * 16#0103_a84c#);
         Success := +Item = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);
      begin
         Inc (Item'Access, 5 * 16#0103_a84c#);
         Success := +Item = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);
      begin
         Dec (Item);
         Success := +Item = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := +Item = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := +Item = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);
      begin
         Dec (Item'Access);
         Success := +Item = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := +Item = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := +Item = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);
      begin
         Dec (Item, 6 * 16#0103_a84c#);
         Success := +Item = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);
      begin
         Dec (Item'Access, 6 * 16#0103_a84c#);
         Success := +Item = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(40 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access);
         Success := +Item = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := +Item = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := +Item = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(13 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);
         Success := +Item = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(65 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access);
         Success := +Item = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := +Item = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := +Item = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(49 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);
         Success := +Item = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(35 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access);
         Success := +Item = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := +Item = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := +Item = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(26 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);
         Success := +Item = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(31 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Dec (Item'Access);
         Success := +Item = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := +Item = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := +Item = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(64 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);
         Success := +Item = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(64 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(64 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_a84c#);");
         Put_Line ("         Success := +Item = 60 * 16#0103_a84c# and Item_2 = 64 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);
      begin
         Do_And (Item, 2#1111_0000#);
         Success := +Item = 2#0110_0000#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#0110_0000#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#0110_0000#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);
      begin
         Do_And (Item'Access, 2#1111_0000#);
         Success := +Item = 2#0110_0000#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#0110_0000#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0110_0010#);");
         Put_Line ("      begin");
         Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#0110_0000#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);
      begin
         Do_Or (Item, 2#1111_0000#);
         Success := +Item = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);
      begin
         Do_Or (Item'Access, 2#1111_0000#);
         Success := +Item = 2#1111_1110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1111_1110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#1010_1110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1111_1110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);
      begin
         Do_Xor (Item, 2#1111_0000#);
         Success := +Item = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);
      begin
         Do_Xor (Item'Access, 2#1111_0000#);
         Success := +Item = 2#1101_0110#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1101_0110#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(2#0010_0110#);");
         Put_Line ("      begin");
         Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         Put_Line ("         Success := +Item = 2#1101_0110#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(69 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);
         Success := Get (Item'Access) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(69 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 18 * 16#0103_a84c# and Item_2 = 69 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(24 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);
         Success := Get (Item'Access) = 19 * 16#0103_a84c# and Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(24 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_a84c#, 19 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 19 * 16#0103_a84c# and Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(33 * 16#0103_a84c#);
         Item_2 : Boolean;
      begin
         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);
         Success := Get (Item'Access) = 33 * 16#0103_a84c# and not Item_2;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(33 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_a84c#, 18 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 33 * 16#0103_a84c# and not Item_2;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(54 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);
         Success := Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(54 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_a84c#, 29 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 54 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(46 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);
         Success := Get (Item'Access) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(46 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_a84c#, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 46 * 16#0103_a84c# and Item_2 = 46 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(10 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);
         Success := Get (Item'Access) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Get (Item'Access) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(10 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_a84c#, 51 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Get (Item'Access) = 51 * 16#0103_a84c# and Item_2 and Item_3 = 10 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(27 * 16#0103_a84c#);
         Item_2 : Boolean;
         Item_3 : aliased Unsigned_32;
      begin
         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);
         Success := Get (Item'Access) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Get (Item'Access) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(27 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Boolean;");
         Put_Line ("         Item_3 : aliased Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_a84c#, 34 * 16#0103_a84c#, Item_3'Access);");
         Put_Line ("         Success := Get (Item'Access) = 27 * 16#0103_a84c# and not Item_2 and Item_3 = 27 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);
      begin
         Inc (Item);
         Success := Get (Item'Access) = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := Get (Item'Access) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item);");
         Put_Line ("         Success := Get (Item'Access) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);
      begin
         Inc (Item'Access);
         Success := Get (Item'Access) = 30 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(29 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 30 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);
      begin
         Inc (Item, 5 * 16#0103_a84c#);
         Success := Get (Item'Access) = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);
      begin
         Inc (Item'Access, 5 * 16#0103_a84c#);
         Success := Get (Item'Access) = 47 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(42 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Inc (Item'Access, 5 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 47 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);
      begin
         Dec (Item);
         Success := Get (Item'Access) = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := Get (Item'Access) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item);");
         Put_Line ("         Success := Get (Item'Access) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);
      begin
         Dec (Item'Access);
         Success := Get (Item'Access) = 62 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(63 + 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 62 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);
      begin
         Dec (Item, 6 * 16#0103_a84c#);
         Success := Get (Item'Access) = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);
      begin
         Dec (Item'Access, 6 * 16#0103_a84c#);
         Success := Get (Item'Access) = 32 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(38 * 16#0103_a84c#);");
         Put_Line ("      begin");
         Put_Line ("         Dec (Item'Access, 6 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 32 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(40 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access);
         Success := Get (Item'Access) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(40 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 41 + 16#0103_a84c# and Item_2 = 41 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(13 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);
         Success := Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(13 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 29 * 16#0103_a84c# and Item_2 = 29 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(65 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access);
         Success := Get (Item'Access) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(65 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 66 + 16#0103_a84c# and Item_2 = 65 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(49 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);
         Success := Get (Item'Access) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(49 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 59 * 16#0103_a84c# and Item_2 = 49 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(35 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access);
         Success := Get (Item'Access) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(35 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 34 + 16#0103_a84c# and Item_2 = 34 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(26 * 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);
         Success := Get (Item'Access) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(26 * 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_a84c#);");
         Put_Line ("         Success := Get (Item'Access) = 6 * 16#0103_a84c# and Item_2 = 6 * 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

   begin
      declare
         Item : aliased Atomic_Unsigned_32 := +(31 + 16#0103_a84c#);
         Item_2 : Unsigned_32;
      begin
         Item_2 := Get_Dec (Item'Access);
         Success := Get (Item'Access) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;
      end;

      if Success then
         Put (".");
      else
         New_Line;
         Put_Line ("The following code block has failed a check:");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
      end if;
   exception
      when E : others =>
         New_Line;
         Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
         Put_Line ("      declare");
         Put_Line ("         Item : aliased Atomic_Unsigned_32 := +(31 + 16#0103_a84c#);");
         Put_Line ("         Item_2 : Unsigned_32;");
         Put_Line ("      begin");
         Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         Put_Line ("         Success := Get (Item'Access) = 30 + 16#0103_a84c# and Item_2 = 31 + 16#0103_a84c#;");
         Put_Line ("      end;");
   end;

end Atomic_X_Test_14;
