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

-- 3:

-- 4: with Interfaces, Turbo, Turbo.Atomic, Ada.Text_IO, Ada.Exceptions;
with ada;
with ada;
with turbo;
with interfaces;
with turbo;
with turbo.turbo__atomic;
with ada.ada__text_io;
with ada.ada__exceptions;

-- 5:

-- 6: use  Interfaces, Turbo, Turbo.Atomic, Ada.Text_IO, Ada.Exceptions;
use interfaces, turbo, turbo.turbo__atomic, ada.ada__text_io, ada.
  ada__exceptions;
with ada.ada__exceptions;
with ada.ada__tags;
with system.system__concat_3;
with system.system__secondary_stack;
with system.system__soft_links;
with interfaces;

-- 7:

-- 8: procedure Atomic_X_Test_28 is
procedure atomic_x_test_28 is
   success : boolean := false;
   B_1 : label
   B_3 : label
   B_5 : label
   B_7 : label
   B_9 : label
   B_11 : label
   B_13 : label
   B_15 : label
   B_17 : label
   B_19 : label
   B_21 : label
   B_23 : label
   B_25 : label
   B_27 : label
   B_29 : label
   B_31 : label
   B_33 : label
   B_35 : label
   B_37 : label
   B_39 : label
   B_41 : label
   B_43 : label
   B_45 : label
   B_47 : label
   B_49 : label
   B_51 : label
   B_53 : label
   B_55 : label
   B_57 : label
   B_59 : label
   B_61 : label
   B_63 : label
   B_65 : label
begin

-- 9:

-- 10:    Success : Boolean := False;

-- 11:

-- 12: begin

-- 13:

-- 14:    begin
   B_1 : declare
      B_2 : label
   begin

-- 15:       declare
      B_2 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 16:          Item : aliased Atomic_Unsigned_Addr;

-- 17:       begin

-- 18:          Lazy_Set (Item'Access, 2#1010_1110#);
         [subtype turbo_private__atomic_unsigned_addr_package__T5s is access not null
           turbo_private__atomic_unsigned_addr_package__atomic_type_32]
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 174, targetF => 3);

-- 19:          Do_Or (Item, 2#1111_0000#);
         turbo_private__atomic__do_or__5 (item, 240);

-- 20:          Success := Get (Item'Access) = 2#1111_1110#;
         success := turbo_private__atomic_unsigned_addr_package__get__2
         [subtype turbo_private__atomic_unsigned_addr_package__T1s is access not null
           turbo_private__atomic_unsigned_addr_package__atomic_type_32]
           (turbo_private__atomic_unsigned_addr_package__T1s!(item'
           access), sourceF => 3) = 254;

-- 21:       end;
      end B_2;

-- 22:

-- 23:       if Success then
      if success then

-- 24:          Put (".");
         ada__text_io__put__4 (".");

-- 25:       else
      else

-- 26:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 27:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 28:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 29:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 30:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 31:          Put_Line ("         Lazy_Set (Item'Access, 2#1010_1110#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 2#1010_1110#);");

-- 32:          Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         ada__text_io__put_line__2 (
           "         Do_Or (Item, 2#1111_0000#);");

-- 33:          Put_Line ("         Success := Get (Item'Access) = 2#1111_1110#;");
         ada__text_io__put_line__2 (
           "         Success := Get (Item'Access) = 2#1111_1110#;");

-- 34:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 35:       end if;
      end if;

-- 36:    exception
   exception

-- 37:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B31b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 38:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 39:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B13b : declare
               M23b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_1__E12b__B13b___clean is
               begin
                  $system__secondary_stack__ss_release (M23b);
                  return;
               end atomic_x_test_28__B_1__E12b__B13b___clean;
            begin
               type atomic_x_test_28__B_1__E12b__B13b__A16b is access
                 all string;
               freeze atomic_x_test_28__B_1__E12b__B13b__A16b []
               R17b : atomic_x_test_28__B_1__E12b__B13b__A16b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L19b : constant integer := R17b.all'length;
               L20b : constant integer := 36 + L19b;
               L21b : constant integer := L20b + 1;
               subtype atomic_x_test_28__B_1__E12b__B13b__TS22bS is
                 string (1 .. 1 + (L21b - 1));
               S22b : string (1 .. 1 + (L21b - 1));
               $system__concat_3__str_concat_3 (S22b,
                 "The following code block has raised ", R17b.all, ":");
               ada__text_io__put_line__2 (S22b);
            at end
               atomic_x_test_28__B_1__E12b__B13b___clean;
            end B13b;

-- 40:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 41:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 42:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 43:          Put_Line ("         Lazy_Set (Item'Access, 2#1010_1110#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 2#1010_1110#);");

-- 44:          Put_Line ("         Do_Or (Item, 2#1111_0000#);");
            ada__text_io__put_line__2 (
              "         Do_Or (Item, 2#1111_0000#);");

-- 45:          Put_Line ("         Success := Get (Item'Access) = 2#1111_1110#;");
            ada__text_io__put_line__2 (
              "         Success := Get (Item'Access) = 2#1111_1110#;");

-- 46:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 47:    end;
         end B31b;
   end B_1;

-- 48:

-- 49:    begin
   B_3 : declare
      B_4 : label
   begin

-- 50:       declare
      B_4 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 51:          Item : aliased Atomic_Unsigned_Addr;

-- 52:       begin

-- 53:          Lazy_Set (Item'Access, 2#1010_1110#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 174, targetF => 3);

-- 54:          Do_Or (Item'Access, 2#1111_0000#);
         turbo_private__atomic__do_or__6 (item'access, 240, addendF =>
           3);

-- 55:          Success := Get (Item'Access) = 2#1111_1110#;
         success := turbo_private__atomic_unsigned_addr_package__get__2
           (turbo_private__atomic_unsigned_addr_package__T1s!(item'
           access), sourceF => 3) = 254;

-- 56:       end;
      end B_4;

-- 57:

-- 58:       if Success then
      if success then

-- 59:          Put (".");
         ada__text_io__put__4 (".");

-- 60:       else
      else

-- 61:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 62:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 63:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 64:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 65:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 66:          Put_Line ("         Lazy_Set (Item'Access, 2#1010_1110#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 2#1010_1110#);");

-- 67:          Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         ada__text_io__put_line__2 (
           "         Do_Or (Item'Access, 2#1111_0000#);");

-- 68:          Put_Line ("         Success := Get (Item'Access) = 2#1111_1110#;");
         ada__text_io__put_line__2 (
           "         Success := Get (Item'Access) = 2#1111_1110#;");

-- 69:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 70:       end if;
      end if;

-- 71:    exception
   exception

-- 72:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B63b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 73:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 74:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B45b : declare
               M55b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_3__E44b__B45b___clean is
               begin
                  $system__secondary_stack__ss_release (M55b);
                  return;
               end atomic_x_test_28__B_3__E44b__B45b___clean;
            begin
               type atomic_x_test_28__B_3__E44b__B45b__A48b is access
                 all string;
               freeze atomic_x_test_28__B_3__E44b__B45b__A48b []
               R49b : atomic_x_test_28__B_3__E44b__B45b__A48b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L51b : constant integer := R49b.all'length;
               L52b : constant integer := 36 + L51b;
               L53b : constant integer := L52b + 1;
               subtype atomic_x_test_28__B_3__E44b__B45b__TS54bS is
                 string (1 .. 1 + (L53b - 1));
               S54b : string (1 .. 1 + (L53b - 1));
               $system__concat_3__str_concat_3 (S54b,
                 "The following code block has raised ", R49b.all, ":");
               ada__text_io__put_line__2 (S54b);
            at end
               atomic_x_test_28__B_3__E44b__B45b___clean;
            end B45b;

-- 75:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 76:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 77:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 78:          Put_Line ("         Lazy_Set (Item'Access, 2#1010_1110#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 2#1010_1110#);");

-- 79:          Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
            ada__text_io__put_line__2 (
              "         Do_Or (Item'Access, 2#1111_0000#);");

-- 80:          Put_Line ("         Success := Get (Item'Access) = 2#1111_1110#;");
            ada__text_io__put_line__2 (
              "         Success := Get (Item'Access) = 2#1111_1110#;");

-- 81:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 82:    end;
         end B63b;
   end B_3;

-- 83:

-- 84:    begin
   B_5 : declare
      B_6 : label
   begin

-- 85:       declare
      B_6 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 86:          Item : aliased Atomic_Unsigned_Addr;

-- 87:       begin

-- 88:          Lazy_Set (Item'Access, 2#0010_0110#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 38, targetF => 3);

-- 89:          Do_Xor (Item, 2#1111_0000#);
         turbo_private__atomic__do_xor__5 (item, 240);

-- 90:          Success := Get (Item'Access) = 2#1101_0110#;
         success := turbo_private__atomic_unsigned_addr_package__get__2
           (turbo_private__atomic_unsigned_addr_package__T1s!(item'
           access), sourceF => 3) = 214;

-- 91:       end;
      end B_6;

-- 92:

-- 93:       if Success then
      if success then

-- 94:          Put (".");
         ada__text_io__put__4 (".");

-- 95:       else
      else

-- 96:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 97:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 98:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 99:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 100:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 101:          Put_Line ("         Lazy_Set (Item'Access, 2#0010_0110#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 2#0010_0110#);");

-- 102:          Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         ada__text_io__put_line__2 (
           "         Do_Xor (Item, 2#1111_0000#);");

-- 103:          Put_Line ("         Success := Get (Item'Access) = 2#1101_0110#;");
         ada__text_io__put_line__2 (
           "         Success := Get (Item'Access) = 2#1101_0110#;");

-- 104:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 105:       end if;
      end if;

-- 106:    exception
   exception

-- 107:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B94b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 108:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 109:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B76b : declare
               M86b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_5__E75b__B76b___clean is
               begin
                  $system__secondary_stack__ss_release (M86b);
                  return;
               end atomic_x_test_28__B_5__E75b__B76b___clean;
            begin
               type atomic_x_test_28__B_5__E75b__B76b__A79b is access
                 all string;
               freeze atomic_x_test_28__B_5__E75b__B76b__A79b []
               R80b : atomic_x_test_28__B_5__E75b__B76b__A79b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L82b : constant integer := R80b.all'length;
               L83b : constant integer := 36 + L82b;
               L84b : constant integer := L83b + 1;
               subtype atomic_x_test_28__B_5__E75b__B76b__TS85bS is
                 string (1 .. 1 + (L84b - 1));
               S85b : string (1 .. 1 + (L84b - 1));
               $system__concat_3__str_concat_3 (S85b,
                 "The following code block has raised ", R80b.all, ":");
               ada__text_io__put_line__2 (S85b);
            at end
               atomic_x_test_28__B_5__E75b__B76b___clean;
            end B76b;

-- 110:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 111:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 112:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 113:          Put_Line ("         Lazy_Set (Item'Access, 2#0010_0110#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 2#0010_0110#);");

-- 114:          Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
            ada__text_io__put_line__2 (
              "         Do_Xor (Item, 2#1111_0000#);");

-- 115:          Put_Line ("         Success := Get (Item'Access) = 2#1101_0110#;");
            ada__text_io__put_line__2 (
              "         Success := Get (Item'Access) = 2#1101_0110#;");

-- 116:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 117:    end;
         end B94b;
   end B_5;

-- 118:

-- 119:    begin
   B_7 : declare
      B_8 : label
   begin

-- 120:       declare
      B_8 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 121:          Item : aliased Atomic_Unsigned_Addr;

-- 122:       begin

-- 123:          Lazy_Set (Item'Access, 2#0010_0110#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 38, targetF => 3);

-- 124:          Do_Xor (Item'Access, 2#1111_0000#);
         turbo_private__atomic__do_xor__6 (item'access, 240, addendF =>
           3);

-- 125:          Success := Get (Item'Access) = 2#1101_0110#;
         success := turbo_private__atomic_unsigned_addr_package__get__2
           (turbo_private__atomic_unsigned_addr_package__T1s!(item'
           access), sourceF => 3) = 214;

-- 126:       end;
      end B_8;

-- 127:

-- 128:       if Success then
      if success then

-- 129:          Put (".");
         ada__text_io__put__4 (".");

-- 130:       else
      else

-- 131:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 132:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 133:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 134:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 135:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 136:          Put_Line ("         Lazy_Set (Item'Access, 2#0010_0110#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 2#0010_0110#);");

-- 137:          Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         ada__text_io__put_line__2 (
           "         Do_Xor (Item'Access, 2#1111_0000#);");

-- 138:          Put_Line ("         Success := Get (Item'Access) = 2#1101_0110#;");
         ada__text_io__put_line__2 (
           "         Success := Get (Item'Access) = 2#1101_0110#;");

-- 139:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 140:       end if;
      end if;

-- 141:    exception
   exception

-- 142:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B126b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 143:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 144:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B108b : declare
               M118b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_7__E107b__B108b___clean is
               begin
                  $system__secondary_stack__ss_release (M118b);
                  return;
               end atomic_x_test_28__B_7__E107b__B108b___clean;
            begin
               type atomic_x_test_28__B_7__E107b__B108b__A111b is
                 access all string;
               freeze atomic_x_test_28__B_7__E107b__B108b__A111b []
               R112b : atomic_x_test_28__B_7__E107b__B108b__A111b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L114b : constant integer := R112b.all'length;
               L115b : constant integer := 36 + L114b;
               L116b : constant integer := L115b + 1;
               subtype atomic_x_test_28__B_7__E107b__B108b__TS117bS is
                 string (1 .. 1 + (L116b - 1));
               S117b : string (1 .. 1 + (L116b - 1));
               $system__concat_3__str_concat_3 (S117b,
                 "The following code block has raised ", R112b.all, ":");
               ada__text_io__put_line__2 (S117b);
            at end
               atomic_x_test_28__B_7__E107b__B108b___clean;
            end B108b;

-- 145:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 146:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 147:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 148:          Put_Line ("         Lazy_Set (Item'Access, 2#0010_0110#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 2#0010_0110#);");

-- 149:          Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
            ada__text_io__put_line__2 (
              "         Do_Xor (Item'Access, 2#1111_0000#);");

-- 150:          Put_Line ("         Success := Get (Item'Access) = 2#1101_0110#;");
            ada__text_io__put_line__2 (
              "         Success := Get (Item'Access) = 2#1101_0110#;");

-- 151:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 152:    end;
         end B126b;
   end B_7;

-- 153:

-- 154:    begin
   B_9 : declare
      B_10 : label
   begin

-- 155:       declare
      B_10 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : turbo__unsigned_addr;
      begin

-- 156:          Item : aliased Atomic_Unsigned_Addr;

-- 157:          Item_2 : Unsigned_Addr;

-- 158:       begin

-- 159:          Lazy_Set (Item'Access, 69 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 1175242224, targetF => 3);

-- 160:          Item_2 := Swap (Item'Access, 18 * 16#0103_e530#);
         [subtype turbo_private__atomic_unsigned_addr_package__T6s is access not null
           turbo_private__atomic_unsigned_addr_package__atomic_type_32]
         item_2 := turbo_private__atomic_unsigned_addr_package__swap (
           turbo_private__atomic_unsigned_addr_package__T6s!(item'
           access), 306584928, targetF => 3);

-- 161:          Success := Lazy_Get (Item'Access) = 18 * 16#0103_e530# and Item_2 = 69 * 16#0103_e530#;
         success :=
         [subtype turbo_private__atomic_unsigned_addr_package__T2s is access not null
           turbo_private__atomic_unsigned_addr_package__atomic_type_32]
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 306584928 and item_2 =
           1175242224;

-- 162:       end;
      end B_10;

-- 163:

-- 164:       if Success then
      if success then

-- 165:          Put (".");
         ada__text_io__put__4 (".");

-- 166:       else
      else

-- 167:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 168:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 169:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 170:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 171:          Put_Line ("         Item_2 : Unsigned_Addr;");
         ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 172:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 173:          Put_Line ("         Lazy_Set (Item'Access, 69 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 69 * 16#0103_e530#);");

-- 174:          Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Item_2 := Swap (Item'Access, 18 * 16#0103_e530#);");

-- 175:          Put_Line ("         Success := Lazy_Get (Item'Access) = 18 * 16#0103_e530# and Item_2 = 69 * 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 18 * 16#0103_e530# and Item_2 = 69 * 16#0103_e530#;");

-- 176:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 177:       end if;
      end if;

-- 178:    exception
   exception

-- 179:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B160b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 180:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 181:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B141b : declare
               M151b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_9__E140b__B141b___clean is
               begin
                  $system__secondary_stack__ss_release (M151b);
                  return;
               end atomic_x_test_28__B_9__E140b__B141b___clean;
            begin
               type atomic_x_test_28__B_9__E140b__B141b__A144b is
                 access all string;
               freeze atomic_x_test_28__B_9__E140b__B141b__A144b []
               R145b : atomic_x_test_28__B_9__E140b__B141b__A144b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L147b : constant integer := R145b.all'length;
               L148b : constant integer := 36 + L147b;
               L149b : constant integer := L148b + 1;
               subtype atomic_x_test_28__B_9__E140b__B141b__TS150bS is
                 string (1 .. 1 + (L149b - 1));
               S150b : string (1 .. 1 + (L149b - 1));
               $system__concat_3__str_concat_3 (S150b,
                 "The following code block has raised ", R145b.all, ":");
               ada__text_io__put_line__2 (S150b);
            at end
               atomic_x_test_28__B_9__E140b__B141b___clean;
            end B141b;

-- 182:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 183:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 184:          Put_Line ("         Item_2 : Unsigned_Addr;");
            ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 185:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 186:          Put_Line ("         Lazy_Set (Item'Access, 69 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 69 * 16#0103_e530#);");

-- 187:          Put_Line ("         Item_2 := Swap (Item'Access, 18 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Item_2 := Swap (Item'Access, 18 * 16#0103_e530#);");

-- 188:          Put_Line ("         Success := Lazy_Get (Item'Access) = 18 * 16#0103_e530# and Item_2 = 69 * 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 18 * 16#0103_e530# and Item_2 = 69 * 16#0103_e530#;");

-- 189:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 190:    end;
         end B160b;
   end B_9;

-- 191:

-- 192:    begin
   B_11 : declare
      B_12 : label
   begin

-- 193:       declare
      B_12 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : boolean;
      begin

-- 194:          Item : aliased Atomic_Unsigned_Addr;

-- 195:          Item_2 : Boolean;

-- 196:       begin

-- 197:          Lazy_Set (Item'Access, 24 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 408779904, targetF => 3);
         R163b : constant boolean :=
         [subtype turbo_private__atomic_unsigned_addr_package__T7s is access not null
           turbo_private__atomic_unsigned_addr_package__atomic_type_32]
           turbo_private__atomic_unsigned_addr_package__compare_swap (
           turbo_private__atomic_unsigned_addr_package__T7s!(item'
           access), 408779904, 323617424, targetF => 3);

-- 198:          Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_e530#, 19 * 16#0103_e530#);
         [constraint_error when
           not (interfaces__unsigned_32!(R163b) >=
             interfaces__unsigned_32!(false) and then
             interfaces__unsigned_32!(R163b) <= interfaces__unsigned_32!
             (true))
           "invalid data"]
         item_2 := R163b;

-- 199:          Success := Lazy_Get (Item'Access) = 19 * 16#0103_e530# and Item_2;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 323617424 and item_2;

-- 200:       end;
      end B_12;

-- 201:

-- 202:       if Success then
      if success then

-- 203:          Put (".");
         ada__text_io__put__4 (".");

-- 204:       else
      else

-- 205:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 206:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 207:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 208:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 209:          Put_Line ("         Item_2 : Boolean;");
         ada__text_io__put_line__2 ("         Item_2 : Boolean;");

-- 210:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 211:          Put_Line ("         Lazy_Set (Item'Access, 24 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 24 * 16#0103_e530#);");

-- 212:          Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_e530#, 19 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_e530#, 19 * 16#0103_e530#);");

-- 213:          Put_Line ("         Success := Lazy_Get (Item'Access) = 19 * 16#0103_e530# and Item_2;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 19 * 16#0103_e530# and Item_2;");

-- 214:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 215:       end if;
      end if;

-- 216:    exception
   exception

-- 217:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B195b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 218:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 219:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B176b : declare
               M186b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_11__E175b__B176b___clean is
               begin
                  $system__secondary_stack__ss_release (M186b);
                  return;
               end atomic_x_test_28__B_11__E175b__B176b___clean;
            begin
               type atomic_x_test_28__B_11__E175b__B176b__A179b is
                 access all string;
               freeze atomic_x_test_28__B_11__E175b__B176b__A179b []
               R180b : atomic_x_test_28__B_11__E175b__B176b__A179b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L182b : constant integer := R180b.all'length;
               L183b : constant integer := 36 + L182b;
               L184b : constant integer := L183b + 1;
               subtype atomic_x_test_28__B_11__E175b__B176b__TS185bS is
                 string (1 .. 1 + (L184b - 1));
               S185b : string (1 .. 1 + (L184b - 1));
               $system__concat_3__str_concat_3 (S185b,
                 "The following code block has raised ", R180b.all, ":");
               ada__text_io__put_line__2 (S185b);
            at end
               atomic_x_test_28__B_11__E175b__B176b___clean;
            end B176b;

-- 220:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 221:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 222:          Put_Line ("         Item_2 : Boolean;");
            ada__text_io__put_line__2 ("         Item_2 : Boolean;");

-- 223:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 224:          Put_Line ("         Lazy_Set (Item'Access, 24 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 24 * 16#0103_e530#);");

-- 225:          Put_Line ("         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_e530#, 19 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Item_2 := Compare_Swap (Item'Access, 24 * 16#0103_e530#, 19 * 16#0103_e530#);");

-- 226:          Put_Line ("         Success := Lazy_Get (Item'Access) = 19 * 16#0103_e530# and Item_2;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 19 * 16#0103_e530# and Item_2;");

-- 227:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 228:    end;
         end B195b;
   end B_11;

-- 229:

-- 230:    begin
   B_13 : declare
      B_14 : label
   begin

-- 231:       declare
      B_14 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : boolean;
      begin

-- 232:          Item : aliased Atomic_Unsigned_Addr;

-- 233:          Item_2 : Boolean;

-- 234:       begin

-- 235:          Lazy_Set (Item'Access, 33 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 562072368, targetF => 3);
         R198b : constant boolean :=
           turbo_private__atomic_unsigned_addr_package__compare_swap (
           turbo_private__atomic_unsigned_addr_package__T7s!(item'
           access), 1192274720, 306584928, targetF => 3);

-- 236:          Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_e530#, 18 * 16#0103_e530#);
         [constraint_error when
           not (interfaces__unsigned_32!(R198b) >=
             interfaces__unsigned_32!(false) and then
             interfaces__unsigned_32!(R198b) <= interfaces__unsigned_32!
             (true))
           "invalid data"]
         item_2 := R198b;

-- 237:          Success := Lazy_Get (Item'Access) = 33 * 16#0103_e530# and not Item_2;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 562072368 and not item_2;

-- 238:       end;
      end B_14;

-- 239:

-- 240:       if Success then
      if success then

-- 241:          Put (".");
         ada__text_io__put__4 (".");

-- 242:       else
      else

-- 243:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 244:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 245:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 246:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 247:          Put_Line ("         Item_2 : Boolean;");
         ada__text_io__put_line__2 ("         Item_2 : Boolean;");

-- 248:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 249:          Put_Line ("         Lazy_Set (Item'Access, 33 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 33 * 16#0103_e530#);");

-- 250:          Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_e530#, 18 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_e530#, 18 * 16#0103_e530#);");

-- 251:          Put_Line ("         Success := Lazy_Get (Item'Access) = 33 * 16#0103_e530# and not Item_2;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 33 * 16#0103_e530# and not Item_2;");

-- 252:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 253:       end if;
      end if;

-- 254:    exception
   exception

-- 255:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B230b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 256:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 257:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B211b : declare
               M221b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_13__E210b__B211b___clean is
               begin
                  $system__secondary_stack__ss_release (M221b);
                  return;
               end atomic_x_test_28__B_13__E210b__B211b___clean;
            begin
               type atomic_x_test_28__B_13__E210b__B211b__A214b is
                 access all string;
               freeze atomic_x_test_28__B_13__E210b__B211b__A214b []
               R215b : atomic_x_test_28__B_13__E210b__B211b__A214b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L217b : constant integer := R215b.all'length;
               L218b : constant integer := 36 + L217b;
               L219b : constant integer := L218b + 1;
               subtype atomic_x_test_28__B_13__E210b__B211b__TS220bS is
                 string (1 .. 1 + (L219b - 1));
               S220b : string (1 .. 1 + (L219b - 1));
               $system__concat_3__str_concat_3 (S220b,
                 "The following code block has raised ", R215b.all, ":");
               ada__text_io__put_line__2 (S220b);
            at end
               atomic_x_test_28__B_13__E210b__B211b___clean;
            end B211b;

-- 258:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 259:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 260:          Put_Line ("         Item_2 : Boolean;");
            ada__text_io__put_line__2 ("         Item_2 : Boolean;");

-- 261:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 262:          Put_Line ("         Lazy_Set (Item'Access, 33 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 33 * 16#0103_e530#);");

-- 263:          Put_Line ("         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_e530#, 18 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Item_2 := Compare_Swap (Item'Access, 70 * 16#0103_e530#, 18 * 16#0103_e530#);");

-- 264:          Put_Line ("         Success := Lazy_Get (Item'Access) = 33 * 16#0103_e530# and not Item_2;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 33 * 16#0103_e530# and not Item_2;");

-- 265:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 266:    end;
         end B230b;
   end B_13;

-- 267:

-- 268:    begin
   B_15 : declare
      B_16 : label
   begin

-- 269:       declare
      B_16 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : turbo__unsigned_addr;
      begin

-- 270:          Item : aliased Atomic_Unsigned_Addr;

-- 271:          Item_2 : Unsigned_Addr;

-- 272:       begin

-- 273:          Lazy_Set (Item'Access, 54 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 919754784, targetF => 3);

-- 274:          Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_e530#, 29 * 16#0103_e530#);
         item_2 :=
           turbo_private__atomic_unsigned_addr_package__compare_swap__2
         [subtype turbo_private__atomic_unsigned_addr_package__T8s is access not null
           turbo_private__atomic_unsigned_addr_package__atomic_type_32]
           (turbo_private__atomic_unsigned_addr_package__T8s!(item'
           access), 919754784, 493942384, targetF => 3);

-- 275:          Success := Lazy_Get (Item'Access) = 29 * 16#0103_e530# and Item_2 = 54 * 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 493942384 and item_2 = 919754784;

-- 276:       end;
      end B_16;

-- 277:

-- 278:       if Success then
      if success then

-- 279:          Put (".");
         ada__text_io__put__4 (".");

-- 280:       else
      else

-- 281:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 282:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 283:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 284:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 285:          Put_Line ("         Item_2 : Unsigned_Addr;");
         ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 286:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 287:          Put_Line ("         Lazy_Set (Item'Access, 54 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 54 * 16#0103_e530#);");

-- 288:          Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_e530#, 29 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_e530#, 29 * 16#0103_e530#);");

-- 289:          Put_Line ("         Success := Lazy_Get (Item'Access) = 29 * 16#0103_e530# and Item_2 = 54 * 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 29 * 16#0103_e530# and Item_2 = 54 * 16#0103_e530#;");

-- 290:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 291:       end if;
      end if;

-- 292:    exception
   exception

-- 293:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B264b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 294:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 295:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B245b : declare
               M255b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_15__E244b__B245b___clean is
               begin
                  $system__secondary_stack__ss_release (M255b);
                  return;
               end atomic_x_test_28__B_15__E244b__B245b___clean;
            begin
               type atomic_x_test_28__B_15__E244b__B245b__A248b is
                 access all string;
               freeze atomic_x_test_28__B_15__E244b__B245b__A248b []
               R249b : atomic_x_test_28__B_15__E244b__B245b__A248b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L251b : constant integer := R249b.all'length;
               L252b : constant integer := 36 + L251b;
               L253b : constant integer := L252b + 1;
               subtype atomic_x_test_28__B_15__E244b__B245b__TS254bS is
                 string (1 .. 1 + (L253b - 1));
               S254b : string (1 .. 1 + (L253b - 1));
               $system__concat_3__str_concat_3 (S254b,
                 "The following code block has raised ", R249b.all, ":");
               ada__text_io__put_line__2 (S254b);
            at end
               atomic_x_test_28__B_15__E244b__B245b___clean;
            end B245b;

-- 296:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 297:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 298:          Put_Line ("         Item_2 : Unsigned_Addr;");
            ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 299:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 300:          Put_Line ("         Lazy_Set (Item'Access, 54 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 54 * 16#0103_e530#);");

-- 301:          Put_Line ("         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_e530#, 29 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Item_2 := Compare_Swap (Item'Access, 54 * 16#0103_e530#, 29 * 16#0103_e530#);");

-- 302:          Put_Line ("         Success := Lazy_Get (Item'Access) = 29 * 16#0103_e530# and Item_2 = 54 * 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 29 * 16#0103_e530# and Item_2 = 54 * 16#0103_e530#;");

-- 303:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 304:    end;
         end B264b;
   end B_15;

-- 305:

-- 306:    begin
   B_17 : declare
      B_18 : label
   begin

-- 307:       declare
      B_18 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : turbo__unsigned_addr;
      begin

-- 308:          Item : aliased Atomic_Unsigned_Addr;

-- 309:          Item_2 : Unsigned_Addr;

-- 310:       begin

-- 311:          Lazy_Set (Item'Access, 46 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 783494816, targetF => 3);

-- 312:          Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_e530#, 6 * 16#0103_e530#);
         item_2 :=
           turbo_private__atomic_unsigned_addr_package__compare_swap__2
           (turbo_private__atomic_unsigned_addr_package__T8s!(item'
           access), 647234848, 102194976, targetF => 3);

-- 313:          Success := Lazy_Get (Item'Access) = 46 * 16#0103_e530# and Item_2 = 46 * 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 783494816 and item_2 = 783494816;

-- 314:       end;
      end B_18;

-- 315:

-- 316:       if Success then
      if success then

-- 317:          Put (".");
         ada__text_io__put__4 (".");

-- 318:       else
      else

-- 319:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 320:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 321:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 322:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 323:          Put_Line ("         Item_2 : Unsigned_Addr;");
         ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 324:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 325:          Put_Line ("         Lazy_Set (Item'Access, 46 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 46 * 16#0103_e530#);");

-- 326:          Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_e530#, 6 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_e530#, 6 * 16#0103_e530#);");

-- 327:          Put_Line ("         Success := Lazy_Get (Item'Access) = 46 * 16#0103_e530# and Item_2 = 46 * 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 46 * 16#0103_e530# and Item_2 = 46 * 16#0103_e530#;");

-- 328:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 329:       end if;
      end if;

-- 330:    exception
   exception

-- 331:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B298b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 332:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 333:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B279b : declare
               M289b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_17__E278b__B279b___clean is
               begin
                  $system__secondary_stack__ss_release (M289b);
                  return;
               end atomic_x_test_28__B_17__E278b__B279b___clean;
            begin
               type atomic_x_test_28__B_17__E278b__B279b__A282b is
                 access all string;
               freeze atomic_x_test_28__B_17__E278b__B279b__A282b []
               R283b : atomic_x_test_28__B_17__E278b__B279b__A282b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L285b : constant integer := R283b.all'length;
               L286b : constant integer := 36 + L285b;
               L287b : constant integer := L286b + 1;
               subtype atomic_x_test_28__B_17__E278b__B279b__TS288bS is
                 string (1 .. 1 + (L287b - 1));
               S288b : string (1 .. 1 + (L287b - 1));
               $system__concat_3__str_concat_3 (S288b,
                 "The following code block has raised ", R283b.all, ":");
               ada__text_io__put_line__2 (S288b);
            at end
               atomic_x_test_28__B_17__E278b__B279b___clean;
            end B279b;

-- 334:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 335:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 336:          Put_Line ("         Item_2 : Unsigned_Addr;");
            ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 337:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 338:          Put_Line ("         Lazy_Set (Item'Access, 46 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 46 * 16#0103_e530#);");

-- 339:          Put_Line ("         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_e530#, 6 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Item_2 := Compare_Swap (Item'Access, 38 * 16#0103_e530#, 6 * 16#0103_e530#);");

-- 340:          Put_Line ("         Success := Lazy_Get (Item'Access) = 46 * 16#0103_e530# and Item_2 = 46 * 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 46 * 16#0103_e530# and Item_2 = 46 * 16#0103_e530#;");

-- 341:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 342:    end;
         end B298b;
   end B_17;

-- 343:

-- 344:    begin
   B_19 : declare
      B_20 : label
   begin

-- 345:       declare
      B_20 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : boolean;
         item_3 : aliased turbo__unsigned_addr;
      begin

-- 346:          Item : aliased Atomic_Unsigned_Addr;

-- 347:          Item_2 : Boolean;

-- 348:          Item_3 : aliased Unsigned_Addr;

-- 349:       begin

-- 350:          Lazy_Set (Item'Access, 10 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 170324960, targetF => 3);
         R302b : constant boolean :=
           turbo_private__atomic_unsigned_addr_package__compare_swap__3
         [subtype turbo_private__atomic_unsigned_addr_package__T9s is access not null
           turbo_private__atomic_unsigned_addr_package__atomic_type_32]
           (turbo_private__atomic_unsigned_addr_package__T9s!(item'
           access), 170324960, 868657296, item_3'access, targetF =>

-- 351:          Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_e530#, 51 * 16#0103_e530#, Item_3'Access);
           3, fetchedF => 3);
         [constraint_error when
           not (interfaces__unsigned_32!(R302b) >=
             interfaces__unsigned_32!(false) and then
             interfaces__unsigned_32!(R302b) <= interfaces__unsigned_32!
             (true))
           "invalid data"]
         item_2 := R302b;

-- 352:          Success := Lazy_Get (Item'Access) = 51 * 16#0103_e530# and Item_2 and Item_3 = 10 * 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 868657296 and item_2 and item_3 =
           170324960;

-- 353:       end;
      end B_20;

-- 354:

-- 355:       if Success then
      if success then

-- 356:          Put (".");
         ada__text_io__put__4 (".");

-- 357:       else
      else

-- 358:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 359:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 360:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 361:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 362:          Put_Line ("         Item_2 : Boolean;");
         ada__text_io__put_line__2 ("         Item_2 : Boolean;");

-- 363:          Put_Line ("         Item_3 : aliased Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item_3 : aliased Unsigned_Addr;");

-- 364:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 365:          Put_Line ("         Lazy_Set (Item'Access, 10 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 10 * 16#0103_e530#);");

-- 366:          Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_e530#, 51 * 16#0103_e530#, Item_3'Access);");
         ada__text_io__put_line__2 (
           "         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_e530#, 51 * 16#0103_e530#, Item_3'Access);");

-- 367:          Put_Line ("         Success := Lazy_Get (Item'Access) = 51 * 16#0103_e530# and Item_2 and Item_3 = 10 * 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 51 * 16#0103_e530# and Item_2 and Item_3 = 10 * 16#0103_e530#;");

-- 368:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 369:       end if;
      end if;

-- 370:    exception
   exception

-- 371:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B336b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 372:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 373:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B316b : declare
               M326b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_19__E315b__B316b___clean is
               begin
                  $system__secondary_stack__ss_release (M326b);
                  return;
               end atomic_x_test_28__B_19__E315b__B316b___clean;
            begin
               type atomic_x_test_28__B_19__E315b__B316b__A319b is
                 access all string;
               freeze atomic_x_test_28__B_19__E315b__B316b__A319b []
               R320b : atomic_x_test_28__B_19__E315b__B316b__A319b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L322b : constant integer := R320b.all'length;
               L323b : constant integer := 36 + L322b;
               L324b : constant integer := L323b + 1;
               subtype atomic_x_test_28__B_19__E315b__B316b__TS325bS is
                 string (1 .. 1 + (L324b - 1));
               S325b : string (1 .. 1 + (L324b - 1));
               $system__concat_3__str_concat_3 (S325b,
                 "The following code block has raised ", R320b.all, ":");
               ada__text_io__put_line__2 (S325b);
            at end
               atomic_x_test_28__B_19__E315b__B316b___clean;
            end B316b;

-- 374:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 375:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 376:          Put_Line ("         Item_2 : Boolean;");
            ada__text_io__put_line__2 ("         Item_2 : Boolean;");

-- 377:          Put_Line ("         Item_3 : aliased Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item_3 : aliased Unsigned_Addr;");

-- 378:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 379:          Put_Line ("         Lazy_Set (Item'Access, 10 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 10 * 16#0103_e530#);");

-- 380:          Put_Line ("         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_e530#, 51 * 16#0103_e530#, Item_3'Access);");
            ada__text_io__put_line__2 (
              "         Item_2 := Compare_Swap (Item'Access, 10 * 16#0103_e530#, 51 * 16#0103_e530#, Item_3'Access);");

-- 381:          Put_Line ("         Success := Lazy_Get (Item'Access) = 51 * 16#0103_e530# and Item_2 and Item_3 = 10 * 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 51 * 16#0103_e530# and Item_2 and Item_3 = 10 * 16#0103_e530#;");

-- 382:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 383:    end;
         end B336b;
   end B_19;

-- 384:

-- 385:    begin
   B_21 : declare
      B_22 : label
   begin

-- 386:       declare
      B_22 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : boolean;
         item_3 : aliased turbo__unsigned_addr;
      begin

-- 387:          Item : aliased Atomic_Unsigned_Addr;

-- 388:          Item_2 : Boolean;

-- 389:          Item_3 : aliased Unsigned_Addr;

-- 390:       begin

-- 391:          Lazy_Set (Item'Access, 27 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 459877392, targetF => 3);
         R340b : constant boolean :=
           turbo_private__atomic_unsigned_addr_package__compare_swap__3
           (turbo_private__atomic_unsigned_addr_package__T9s!(item'
           access), 1124144736, 579104864, item_3'access, targetF =>

-- 392:          Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_e530#, 34 * 16#0103_e530#, Item_3'Access);
           3, fetchedF => 3);
         [constraint_error when
           not (interfaces__unsigned_32!(R340b) >=
             interfaces__unsigned_32!(false) and then
             interfaces__unsigned_32!(R340b) <= interfaces__unsigned_32!
             (true))
           "invalid data"]
         item_2 := R340b;

-- 393:          Success := Lazy_Get (Item'Access) = 27 * 16#0103_e530# and not Item_2 and Item_3 = 27 * 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 459877392 and not item_2 and item_3 =
           459877392;

-- 394:       end;
      end B_22;

-- 395:

-- 396:       if Success then
      if success then

-- 397:          Put (".");
         ada__text_io__put__4 (".");

-- 398:       else
      else

-- 399:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 400:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 401:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 402:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 403:          Put_Line ("         Item_2 : Boolean;");
         ada__text_io__put_line__2 ("         Item_2 : Boolean;");

-- 404:          Put_Line ("         Item_3 : aliased Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item_3 : aliased Unsigned_Addr;");

-- 405:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 406:          Put_Line ("         Lazy_Set (Item'Access, 27 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 27 * 16#0103_e530#);");

-- 407:          Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_e530#, 34 * 16#0103_e530#, Item_3'Access);");
         ada__text_io__put_line__2 (
           "         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_e530#, 34 * 16#0103_e530#, Item_3'Access);");

-- 408:          Put_Line ("         Success := Lazy_Get (Item'Access) = 27 * 16#0103_e530# and not Item_2 and Item_3 = 27 * 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 27 * 16#0103_e530# and not Item_2 and Item_3 = 27 * 16#0103_e530#;");

-- 409:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 410:       end if;
      end if;

-- 411:    exception
   exception

-- 412:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B374b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 413:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 414:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B354b : declare
               M364b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_21__E353b__B354b___clean is
               begin
                  $system__secondary_stack__ss_release (M364b);
                  return;
               end atomic_x_test_28__B_21__E353b__B354b___clean;
            begin
               type atomic_x_test_28__B_21__E353b__B354b__A357b is
                 access all string;
               freeze atomic_x_test_28__B_21__E353b__B354b__A357b []
               R358b : atomic_x_test_28__B_21__E353b__B354b__A357b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L360b : constant integer := R358b.all'length;
               L361b : constant integer := 36 + L360b;
               L362b : constant integer := L361b + 1;
               subtype atomic_x_test_28__B_21__E353b__B354b__TS363bS is
                 string (1 .. 1 + (L362b - 1));
               S363b : string (1 .. 1 + (L362b - 1));
               $system__concat_3__str_concat_3 (S363b,
                 "The following code block has raised ", R358b.all, ":");
               ada__text_io__put_line__2 (S363b);
            at end
               atomic_x_test_28__B_21__E353b__B354b___clean;
            end B354b;

-- 415:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 416:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 417:          Put_Line ("         Item_2 : Boolean;");
            ada__text_io__put_line__2 ("         Item_2 : Boolean;");

-- 418:          Put_Line ("         Item_3 : aliased Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item_3 : aliased Unsigned_Addr;");

-- 419:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 420:          Put_Line ("         Lazy_Set (Item'Access, 27 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 27 * 16#0103_e530#);");

-- 421:          Put_Line ("         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_e530#, 34 * 16#0103_e530#, Item_3'Access);");
            ada__text_io__put_line__2 (
              "         Item_2 := Compare_Swap (Item'Access, 66 * 16#0103_e530#, 34 * 16#0103_e530#, Item_3'Access);");

-- 422:          Put_Line ("         Success := Lazy_Get (Item'Access) = 27 * 16#0103_e530# and not Item_2 and Item_3 = 27 * 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 27 * 16#0103_e530# and not Item_2 and Item_3 = 27 * 16#0103_e530#;");

-- 423:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 424:    end;
         end B374b;
   end B_21;

-- 425:

-- 426:    begin
   B_23 : declare
      B_24 : label
   begin

-- 427:       declare
      B_24 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 428:          Item : aliased Atomic_Unsigned_Addr;

-- 429:       begin

-- 430:          Lazy_Set (Item'Access, 29 + 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 17032525, targetF => 3);

-- 431:          Inc (Item);
         turbo_private__atomic__inc__21 (item);

-- 432:          Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 17032526;

-- 433:       end;
      end B_24;

-- 434:

-- 435:       if Success then
      if success then

-- 436:          Put (".");
         ada__text_io__put__4 (".");

-- 437:       else
      else

-- 438:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 439:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 440:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 441:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 442:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 443:          Put_Line ("         Lazy_Set (Item'Access, 29 + 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 29 + 16#0103_e530#);");

-- 444:          Put_Line ("         Inc (Item);");
         ada__text_io__put_line__2 ("         Inc (Item);");

-- 445:          Put_Line ("         Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530#;");

-- 446:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 447:       end if;
      end if;

-- 448:    exception
   exception

-- 449:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B405b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 450:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 451:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B387b : declare
               M397b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_23__E386b__B387b___clean is
               begin
                  $system__secondary_stack__ss_release (M397b);
                  return;
               end atomic_x_test_28__B_23__E386b__B387b___clean;
            begin
               type atomic_x_test_28__B_23__E386b__B387b__A390b is
                 access all string;
               freeze atomic_x_test_28__B_23__E386b__B387b__A390b []
               R391b : atomic_x_test_28__B_23__E386b__B387b__A390b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L393b : constant integer := R391b.all'length;
               L394b : constant integer := 36 + L393b;
               L395b : constant integer := L394b + 1;
               subtype atomic_x_test_28__B_23__E386b__B387b__TS396bS is
                 string (1 .. 1 + (L395b - 1));
               S396b : string (1 .. 1 + (L395b - 1));
               $system__concat_3__str_concat_3 (S396b,
                 "The following code block has raised ", R391b.all, ":");
               ada__text_io__put_line__2 (S396b);
            at end
               atomic_x_test_28__B_23__E386b__B387b___clean;
            end B387b;

-- 452:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 453:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 454:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 455:          Put_Line ("         Lazy_Set (Item'Access, 29 + 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 29 + 16#0103_e530#);");

-- 456:          Put_Line ("         Inc (Item);");
            ada__text_io__put_line__2 ("         Inc (Item);");

-- 457:          Put_Line ("         Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530#;");

-- 458:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 459:    end;
         end B405b;
   end B_23;

-- 460:

-- 461:    begin
   B_25 : declare
      B_26 : label
   begin

-- 462:       declare
      B_26 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 463:          Item : aliased Atomic_Unsigned_Addr;

-- 464:       begin

-- 465:          Lazy_Set (Item'Access, 29 + 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 17032525, targetF => 3);

-- 466:          Inc (Item'Access);
         turbo_private__atomic__inc__22 (item'access, addendF => 3);

-- 467:          Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 17032526;

-- 468:       end;
      end B_26;

-- 469:

-- 470:       if Success then
      if success then

-- 471:          Put (".");
         ada__text_io__put__4 (".");

-- 472:       else
      else

-- 473:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 474:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 475:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 476:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 477:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 478:          Put_Line ("         Lazy_Set (Item'Access, 29 + 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 29 + 16#0103_e530#);");

-- 479:          Put_Line ("         Inc (Item'Access);");
         ada__text_io__put_line__2 ("         Inc (Item'Access);");

-- 480:          Put_Line ("         Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530#;");

-- 481:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 482:       end if;
      end if;

-- 483:    exception
   exception

-- 484:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B437b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 485:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 486:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B419b : declare
               M429b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_25__E418b__B419b___clean is
               begin
                  $system__secondary_stack__ss_release (M429b);
                  return;
               end atomic_x_test_28__B_25__E418b__B419b___clean;
            begin
               type atomic_x_test_28__B_25__E418b__B419b__A422b is
                 access all string;
               freeze atomic_x_test_28__B_25__E418b__B419b__A422b []
               R423b : atomic_x_test_28__B_25__E418b__B419b__A422b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L425b : constant integer := R423b.all'length;
               L426b : constant integer := 36 + L425b;
               L427b : constant integer := L426b + 1;
               subtype atomic_x_test_28__B_25__E418b__B419b__TS428bS is
                 string (1 .. 1 + (L427b - 1));
               S428b : string (1 .. 1 + (L427b - 1));
               $system__concat_3__str_concat_3 (S428b,
                 "The following code block has raised ", R423b.all, ":");
               ada__text_io__put_line__2 (S428b);
            at end
               atomic_x_test_28__B_25__E418b__B419b___clean;
            end B419b;

-- 487:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 488:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 489:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 490:          Put_Line ("         Lazy_Set (Item'Access, 29 + 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 29 + 16#0103_e530#);");

-- 491:          Put_Line ("         Inc (Item'Access);");
            ada__text_io__put_line__2 ("         Inc (Item'Access);");

-- 492:          Put_Line ("         Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530#;");

-- 493:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 494:    end;
         end B437b;
   end B_25;

-- 495:

-- 496:    begin
   B_27 : declare
      B_28 : label
   begin

-- 497:       declare
      B_28 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 498:          Item : aliased Atomic_Unsigned_Addr;

-- 499:       begin

-- 500:          Lazy_Set (Item'Access, 42 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 715364832, targetF => 3);

-- 501:          Inc (Item, 5 * 16#0103_e530#);
         turbo_private__atomic__inc__23 (item, 85162480);

-- 502:          Success := Lazy_Get (Item'Access) = 47 * 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 800527312;

-- 503:       end;
      end B_28;

-- 504:

-- 505:       if Success then
      if success then

-- 506:          Put (".");
         ada__text_io__put__4 (".");

-- 507:       else
      else

-- 508:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 509:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 510:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 511:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 512:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 513:          Put_Line ("         Lazy_Set (Item'Access, 42 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 42 * 16#0103_e530#);");

-- 514:          Put_Line ("         Inc (Item, 5 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Inc (Item, 5 * 16#0103_e530#);");

-- 515:          Put_Line ("         Success := Lazy_Get (Item'Access) = 47 * 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 47 * 16#0103_e530#;");

-- 516:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 517:       end if;
      end if;

-- 518:    exception
   exception

-- 519:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B468b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 520:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 521:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B450b : declare
               M460b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_27__E449b__B450b___clean is
               begin
                  $system__secondary_stack__ss_release (M460b);
                  return;
               end atomic_x_test_28__B_27__E449b__B450b___clean;
            begin
               type atomic_x_test_28__B_27__E449b__B450b__A453b is
                 access all string;
               freeze atomic_x_test_28__B_27__E449b__B450b__A453b []
               R454b : atomic_x_test_28__B_27__E449b__B450b__A453b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L456b : constant integer := R454b.all'length;
               L457b : constant integer := 36 + L456b;
               L458b : constant integer := L457b + 1;
               subtype atomic_x_test_28__B_27__E449b__B450b__TS459bS is
                 string (1 .. 1 + (L458b - 1));
               S459b : string (1 .. 1 + (L458b - 1));
               $system__concat_3__str_concat_3 (S459b,
                 "The following code block has raised ", R454b.all, ":");
               ada__text_io__put_line__2 (S459b);
            at end
               atomic_x_test_28__B_27__E449b__B450b___clean;
            end B450b;

-- 522:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 523:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 524:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 525:          Put_Line ("         Lazy_Set (Item'Access, 42 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 42 * 16#0103_e530#);");

-- 526:          Put_Line ("         Inc (Item, 5 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Inc (Item, 5 * 16#0103_e530#);");

-- 527:          Put_Line ("         Success := Lazy_Get (Item'Access) = 47 * 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 47 * 16#0103_e530#;");

-- 528:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 529:    end;
         end B468b;
   end B_27;

-- 530:

-- 531:    begin
   B_29 : declare
      B_30 : label
   begin

-- 532:       declare
      B_30 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 533:          Item : aliased Atomic_Unsigned_Addr;

-- 534:       begin

-- 535:          Lazy_Set (Item'Access, 42 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 715364832, targetF => 3);

-- 536:          Inc (Item'Access, 5 * 16#0103_e530#);
         turbo_private__atomic__inc__24 (item'access, 85162480, targetF =>
           3);

-- 537:          Success := Lazy_Get (Item'Access) = 47 * 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 800527312;

-- 538:       end;
      end B_30;

-- 539:

-- 540:       if Success then
      if success then

-- 541:          Put (".");
         ada__text_io__put__4 (".");

-- 542:       else
      else

-- 543:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 544:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 545:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 546:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 547:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 548:          Put_Line ("         Lazy_Set (Item'Access, 42 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 42 * 16#0103_e530#);");

-- 549:          Put_Line ("         Inc (Item'Access, 5 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Inc (Item'Access, 5 * 16#0103_e530#);");

-- 550:          Put_Line ("         Success := Lazy_Get (Item'Access) = 47 * 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 47 * 16#0103_e530#;");

-- 551:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 552:       end if;
      end if;

-- 553:    exception
   exception

-- 554:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B500b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 555:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 556:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B482b : declare
               M492b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_29__E481b__B482b___clean is
               begin
                  $system__secondary_stack__ss_release (M492b);
                  return;
               end atomic_x_test_28__B_29__E481b__B482b___clean;
            begin
               type atomic_x_test_28__B_29__E481b__B482b__A485b is
                 access all string;
               freeze atomic_x_test_28__B_29__E481b__B482b__A485b []
               R486b : atomic_x_test_28__B_29__E481b__B482b__A485b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L488b : constant integer := R486b.all'length;
               L489b : constant integer := 36 + L488b;
               L490b : constant integer := L489b + 1;
               subtype atomic_x_test_28__B_29__E481b__B482b__TS491bS is
                 string (1 .. 1 + (L490b - 1));
               S491b : string (1 .. 1 + (L490b - 1));
               $system__concat_3__str_concat_3 (S491b,
                 "The following code block has raised ", R486b.all, ":");
               ada__text_io__put_line__2 (S491b);
            at end
               atomic_x_test_28__B_29__E481b__B482b___clean;
            end B482b;

-- 557:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 558:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 559:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 560:          Put_Line ("         Lazy_Set (Item'Access, 42 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 42 * 16#0103_e530#);");

-- 561:          Put_Line ("         Inc (Item'Access, 5 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Inc (Item'Access, 5 * 16#0103_e530#);");

-- 562:          Put_Line ("         Success := Lazy_Get (Item'Access) = 47 * 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 47 * 16#0103_e530#;");

-- 563:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 564:    end;
         end B500b;
   end B_29;

-- 565:

-- 566:    begin
   B_31 : declare
      B_32 : label
   begin

-- 567:       declare
      B_32 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 568:          Item : aliased Atomic_Unsigned_Addr;

-- 569:       begin

-- 570:          Lazy_Set (Item'Access, 63 + 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 17032559, targetF => 3);

-- 571:          Dec (Item);
         turbo_private__atomic__dec__21 (item);

-- 572:          Success := Lazy_Get (Item'Access) = 62 + 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 17032558;

-- 573:       end;
      end B_32;

-- 574:

-- 575:       if Success then
      if success then

-- 576:          Put (".");
         ada__text_io__put__4 (".");

-- 577:       else
      else

-- 578:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 579:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 580:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 581:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 582:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 583:          Put_Line ("         Lazy_Set (Item'Access, 63 + 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 63 + 16#0103_e530#);");

-- 584:          Put_Line ("         Dec (Item);");
         ada__text_io__put_line__2 ("         Dec (Item);");

-- 585:          Put_Line ("         Success := Lazy_Get (Item'Access) = 62 + 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 62 + 16#0103_e530#;");

-- 586:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 587:       end if;
      end if;

-- 588:    exception
   exception

-- 589:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B531b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 590:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 591:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B513b : declare
               M523b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_31__E512b__B513b___clean is
               begin
                  $system__secondary_stack__ss_release (M523b);
                  return;
               end atomic_x_test_28__B_31__E512b__B513b___clean;
            begin
               type atomic_x_test_28__B_31__E512b__B513b__A516b is
                 access all string;
               freeze atomic_x_test_28__B_31__E512b__B513b__A516b []
               R517b : atomic_x_test_28__B_31__E512b__B513b__A516b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L519b : constant integer := R517b.all'length;
               L520b : constant integer := 36 + L519b;
               L521b : constant integer := L520b + 1;
               subtype atomic_x_test_28__B_31__E512b__B513b__TS522bS is
                 string (1 .. 1 + (L521b - 1));
               S522b : string (1 .. 1 + (L521b - 1));
               $system__concat_3__str_concat_3 (S522b,
                 "The following code block has raised ", R517b.all, ":");
               ada__text_io__put_line__2 (S522b);
            at end
               atomic_x_test_28__B_31__E512b__B513b___clean;
            end B513b;

-- 592:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 593:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 594:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 595:          Put_Line ("         Lazy_Set (Item'Access, 63 + 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 63 + 16#0103_e530#);");

-- 596:          Put_Line ("         Dec (Item);");
            ada__text_io__put_line__2 ("         Dec (Item);");

-- 597:          Put_Line ("         Success := Lazy_Get (Item'Access) = 62 + 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 62 + 16#0103_e530#;");

-- 598:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 599:    end;
         end B531b;
   end B_31;

-- 600:

-- 601:    begin
   B_33 : declare
      B_34 : label
   begin

-- 602:       declare
      B_34 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 603:          Item : aliased Atomic_Unsigned_Addr;

-- 604:       begin

-- 605:          Lazy_Set (Item'Access, 63 + 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 17032559, targetF => 3);

-- 606:          Dec (Item'Access);
         turbo_private__atomic__dec__22 (item'access, addendF => 3);

-- 607:          Success := Lazy_Get (Item'Access) = 62 + 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 17032558;

-- 608:       end;
      end B_34;

-- 609:

-- 610:       if Success then
      if success then

-- 611:          Put (".");
         ada__text_io__put__4 (".");

-- 612:       else
      else

-- 613:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 614:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 615:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 616:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 617:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 618:          Put_Line ("         Lazy_Set (Item'Access, 63 + 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 63 + 16#0103_e530#);");

-- 619:          Put_Line ("         Dec (Item'Access);");
         ada__text_io__put_line__2 ("         Dec (Item'Access);");

-- 620:          Put_Line ("         Success := Lazy_Get (Item'Access) = 62 + 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 62 + 16#0103_e530#;");

-- 621:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 622:       end if;
      end if;

-- 623:    exception
   exception

-- 624:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B563b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 625:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 626:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B545b : declare
               M555b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_33__E544b__B545b___clean is
               begin
                  $system__secondary_stack__ss_release (M555b);
                  return;
               end atomic_x_test_28__B_33__E544b__B545b___clean;
            begin
               type atomic_x_test_28__B_33__E544b__B545b__A548b is
                 access all string;
               freeze atomic_x_test_28__B_33__E544b__B545b__A548b []
               R549b : atomic_x_test_28__B_33__E544b__B545b__A548b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L551b : constant integer := R549b.all'length;
               L552b : constant integer := 36 + L551b;
               L553b : constant integer := L552b + 1;
               subtype atomic_x_test_28__B_33__E544b__B545b__TS554bS is
                 string (1 .. 1 + (L553b - 1));
               S554b : string (1 .. 1 + (L553b - 1));
               $system__concat_3__str_concat_3 (S554b,
                 "The following code block has raised ", R549b.all, ":");
               ada__text_io__put_line__2 (S554b);
            at end
               atomic_x_test_28__B_33__E544b__B545b___clean;
            end B545b;

-- 627:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 628:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 629:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 630:          Put_Line ("         Lazy_Set (Item'Access, 63 + 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 63 + 16#0103_e530#);");

-- 631:          Put_Line ("         Dec (Item'Access);");
            ada__text_io__put_line__2 ("         Dec (Item'Access);");

-- 632:          Put_Line ("         Success := Lazy_Get (Item'Access) = 62 + 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 62 + 16#0103_e530#;");

-- 633:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 634:    end;
         end B563b;
   end B_33;

-- 635:

-- 636:    begin
   B_35 : declare
      B_36 : label
   begin

-- 637:       declare
      B_36 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 638:          Item : aliased Atomic_Unsigned_Addr;

-- 639:       begin

-- 640:          Lazy_Set (Item'Access, 38 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 647234848, targetF => 3);

-- 641:          Dec (Item, 6 * 16#0103_e530#);
         turbo_private__atomic__dec__23 (item, 102194976);

-- 642:          Success := Lazy_Get (Item'Access) = 32 * 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 545039872;

-- 643:       end;
      end B_36;

-- 644:

-- 645:       if Success then
      if success then

-- 646:          Put (".");
         ada__text_io__put__4 (".");

-- 647:       else
      else

-- 648:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 649:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 650:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 651:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 652:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 653:          Put_Line ("         Lazy_Set (Item'Access, 38 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 38 * 16#0103_e530#);");

-- 654:          Put_Line ("         Dec (Item, 6 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Dec (Item, 6 * 16#0103_e530#);");

-- 655:          Put_Line ("         Success := Lazy_Get (Item'Access) = 32 * 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 32 * 16#0103_e530#;");

-- 656:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 657:       end if;
      end if;

-- 658:    exception
   exception

-- 659:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B594b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 660:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 661:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B576b : declare
               M586b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_35__E575b__B576b___clean is
               begin
                  $system__secondary_stack__ss_release (M586b);
                  return;
               end atomic_x_test_28__B_35__E575b__B576b___clean;
            begin
               type atomic_x_test_28__B_35__E575b__B576b__A579b is
                 access all string;
               freeze atomic_x_test_28__B_35__E575b__B576b__A579b []
               R580b : atomic_x_test_28__B_35__E575b__B576b__A579b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L582b : constant integer := R580b.all'length;
               L583b : constant integer := 36 + L582b;
               L584b : constant integer := L583b + 1;
               subtype atomic_x_test_28__B_35__E575b__B576b__TS585bS is
                 string (1 .. 1 + (L584b - 1));
               S585b : string (1 .. 1 + (L584b - 1));
               $system__concat_3__str_concat_3 (S585b,
                 "The following code block has raised ", R580b.all, ":");
               ada__text_io__put_line__2 (S585b);
            at end
               atomic_x_test_28__B_35__E575b__B576b___clean;
            end B576b;

-- 662:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 663:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 664:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 665:          Put_Line ("         Lazy_Set (Item'Access, 38 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 38 * 16#0103_e530#);");

-- 666:          Put_Line ("         Dec (Item, 6 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Dec (Item, 6 * 16#0103_e530#);");

-- 667:          Put_Line ("         Success := Lazy_Get (Item'Access) = 32 * 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 32 * 16#0103_e530#;");

-- 668:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 669:    end;
         end B594b;
   end B_35;

-- 670:

-- 671:    begin
   B_37 : declare
      B_38 : label
   begin

-- 672:       declare
      B_38 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 673:          Item : aliased Atomic_Unsigned_Addr;

-- 674:       begin

-- 675:          Lazy_Set (Item'Access, 38 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 647234848, targetF => 3);

-- 676:          Dec (Item'Access, 6 * 16#0103_e530#);
         turbo_private__atomic__dec__24 (item'access, 102194976,
           targetF => 3);

-- 677:          Success := Lazy_Get (Item'Access) = 32 * 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 545039872;

-- 678:       end;
      end B_38;

-- 679:

-- 680:       if Success then
      if success then

-- 681:          Put (".");
         ada__text_io__put__4 (".");

-- 682:       else
      else

-- 683:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 684:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 685:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 686:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 687:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 688:          Put_Line ("         Lazy_Set (Item'Access, 38 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 38 * 16#0103_e530#);");

-- 689:          Put_Line ("         Dec (Item'Access, 6 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Dec (Item'Access, 6 * 16#0103_e530#);");

-- 690:          Put_Line ("         Success := Lazy_Get (Item'Access) = 32 * 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 32 * 16#0103_e530#;");

-- 691:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 692:       end if;
      end if;

-- 693:    exception
   exception

-- 694:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B626b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 695:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 696:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B608b : declare
               M618b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_37__E607b__B608b___clean is
               begin
                  $system__secondary_stack__ss_release (M618b);
                  return;
               end atomic_x_test_28__B_37__E607b__B608b___clean;
            begin
               type atomic_x_test_28__B_37__E607b__B608b__A611b is
                 access all string;
               freeze atomic_x_test_28__B_37__E607b__B608b__A611b []
               R612b : atomic_x_test_28__B_37__E607b__B608b__A611b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L614b : constant integer := R612b.all'length;
               L615b : constant integer := 36 + L614b;
               L616b : constant integer := L615b + 1;
               subtype atomic_x_test_28__B_37__E607b__B608b__TS617bS is
                 string (1 .. 1 + (L616b - 1));
               S617b : string (1 .. 1 + (L616b - 1));
               $system__concat_3__str_concat_3 (S617b,
                 "The following code block has raised ", R612b.all, ":");
               ada__text_io__put_line__2 (S617b);
            at end
               atomic_x_test_28__B_37__E607b__B608b___clean;
            end B608b;

-- 697:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 698:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 699:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 700:          Put_Line ("         Lazy_Set (Item'Access, 38 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 38 * 16#0103_e530#);");

-- 701:          Put_Line ("         Dec (Item'Access, 6 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Dec (Item'Access, 6 * 16#0103_e530#);");

-- 702:          Put_Line ("         Success := Lazy_Get (Item'Access) = 32 * 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 32 * 16#0103_e530#;");

-- 703:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 704:    end;
         end B626b;
   end B_37;

-- 705:

-- 706:    begin
   B_39 : declare
      B_40 : label
   begin

-- 707:       declare
      B_40 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : turbo__unsigned_addr;
      begin

-- 708:          Item : aliased Atomic_Unsigned_Addr;

-- 709:          Item_2 : Unsigned_Addr;

-- 710:       begin

-- 711:          Lazy_Set (Item'Access, 40 + 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 17032536, targetF => 3);

-- 712:          Item_2 := Inc_Get (Item'Access);
         item_2 := turbo_private__atomic__inc_get__11 (item'access,
           addendF => 3);

-- 713:          Success := Lazy_Get (Item'Access) = 41 + 16#0103_e530# and Item_2 = 41 + 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 17032537 and item_2 = 17032537;

-- 714:       end;
      end B_40;

-- 715:

-- 716:       if Success then
      if success then

-- 717:          Put (".");
         ada__text_io__put__4 (".");

-- 718:       else
      else

-- 719:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 720:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 721:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 722:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 723:          Put_Line ("         Item_2 : Unsigned_Addr;");
         ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 724:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 725:          Put_Line ("         Lazy_Set (Item'Access, 40 + 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 40 + 16#0103_e530#);");

-- 726:          Put_Line ("         Item_2 := Inc_Get (Item'Access);");
         ada__text_io__put_line__2 (
           "         Item_2 := Inc_Get (Item'Access);");

-- 727:          Put_Line ("         Success := Lazy_Get (Item'Access) = 41 + 16#0103_e530# and Item_2 = 41 + 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 41 + 16#0103_e530# and Item_2 = 41 + 16#0103_e530#;");

-- 728:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 729:       end if;
      end if;

-- 730:    exception
   exception

-- 731:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B660b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 732:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 733:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B641b : declare
               M651b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_39__E640b__B641b___clean is
               begin
                  $system__secondary_stack__ss_release (M651b);
                  return;
               end atomic_x_test_28__B_39__E640b__B641b___clean;
            begin
               type atomic_x_test_28__B_39__E640b__B641b__A644b is
                 access all string;
               freeze atomic_x_test_28__B_39__E640b__B641b__A644b []
               R645b : atomic_x_test_28__B_39__E640b__B641b__A644b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L647b : constant integer := R645b.all'length;
               L648b : constant integer := 36 + L647b;
               L649b : constant integer := L648b + 1;
               subtype atomic_x_test_28__B_39__E640b__B641b__TS650bS is
                 string (1 .. 1 + (L649b - 1));
               S650b : string (1 .. 1 + (L649b - 1));
               $system__concat_3__str_concat_3 (S650b,
                 "The following code block has raised ", R645b.all, ":");
               ada__text_io__put_line__2 (S650b);
            at end
               atomic_x_test_28__B_39__E640b__B641b___clean;
            end B641b;

-- 734:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 735:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 736:          Put_Line ("         Item_2 : Unsigned_Addr;");
            ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 737:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 738:          Put_Line ("         Lazy_Set (Item'Access, 40 + 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 40 + 16#0103_e530#);");

-- 739:          Put_Line ("         Item_2 := Inc_Get (Item'Access);");
            ada__text_io__put_line__2 (
              "         Item_2 := Inc_Get (Item'Access);");

-- 740:          Put_Line ("         Success := Lazy_Get (Item'Access) = 41 + 16#0103_e530# and Item_2 = 41 + 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 41 + 16#0103_e530# and Item_2 = 41 + 16#0103_e530#;");

-- 741:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 742:    end;
         end B660b;
   end B_39;

-- 743:

-- 744:    begin
   B_41 : declare
      B_42 : label
   begin

-- 745:       declare
      B_42 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : turbo__unsigned_addr;
      begin

-- 746:          Item : aliased Atomic_Unsigned_Addr;

-- 747:          Item_2 : Unsigned_Addr;

-- 748:       begin

-- 749:          Lazy_Set (Item'Access, 13 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 221422448, targetF => 3);

-- 750:          Item_2 := Inc_Get (Item'Access, 16 * 16#0103_e530#);
         item_2 := turbo_private__atomic__inc_get__12 (item'access,
           272519936, targetF => 3);

-- 751:          Success := Lazy_Get (Item'Access) = 29 * 16#0103_e530# and Item_2 = 29 * 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 493942384 and item_2 = 493942384;

-- 752:       end;
      end B_42;

-- 753:

-- 754:       if Success then
      if success then

-- 755:          Put (".");
         ada__text_io__put__4 (".");

-- 756:       else
      else

-- 757:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 758:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 759:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 760:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 761:          Put_Line ("         Item_2 : Unsigned_Addr;");
         ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 762:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 763:          Put_Line ("         Lazy_Set (Item'Access, 13 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 13 * 16#0103_e530#);");

-- 764:          Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_e530#);");

-- 765:          Put_Line ("         Success := Lazy_Get (Item'Access) = 29 * 16#0103_e530# and Item_2 = 29 * 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 29 * 16#0103_e530# and Item_2 = 29 * 16#0103_e530#;");

-- 766:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 767:       end if;
      end if;

-- 768:    exception
   exception

-- 769:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B694b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 770:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 771:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B675b : declare
               M685b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_41__E674b__B675b___clean is
               begin
                  $system__secondary_stack__ss_release (M685b);
                  return;
               end atomic_x_test_28__B_41__E674b__B675b___clean;
            begin
               type atomic_x_test_28__B_41__E674b__B675b__A678b is
                 access all string;
               freeze atomic_x_test_28__B_41__E674b__B675b__A678b []
               R679b : atomic_x_test_28__B_41__E674b__B675b__A678b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L681b : constant integer := R679b.all'length;
               L682b : constant integer := 36 + L681b;
               L683b : constant integer := L682b + 1;
               subtype atomic_x_test_28__B_41__E674b__B675b__TS684bS is
                 string (1 .. 1 + (L683b - 1));
               S684b : string (1 .. 1 + (L683b - 1));
               $system__concat_3__str_concat_3 (S684b,
                 "The following code block has raised ", R679b.all, ":");
               ada__text_io__put_line__2 (S684b);
            at end
               atomic_x_test_28__B_41__E674b__B675b___clean;
            end B675b;

-- 772:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 773:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 774:          Put_Line ("         Item_2 : Unsigned_Addr;");
            ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 775:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 776:          Put_Line ("         Lazy_Set (Item'Access, 13 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 13 * 16#0103_e530#);");

-- 777:          Put_Line ("         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Item_2 := Inc_Get (Item'Access, 16 * 16#0103_e530#);");

-- 778:          Put_Line ("         Success := Lazy_Get (Item'Access) = 29 * 16#0103_e530# and Item_2 = 29 * 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 29 * 16#0103_e530# and Item_2 = 29 * 16#0103_e530#;");

-- 779:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 780:    end;
         end B694b;
   end B_41;

-- 781:

-- 782:    begin
   B_43 : declare
      B_44 : label
   begin

-- 783:       declare
      B_44 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : turbo__unsigned_addr;
      begin

-- 784:          Item : aliased Atomic_Unsigned_Addr;

-- 785:          Item_2 : Unsigned_Addr;

-- 786:       begin

-- 787:          Lazy_Set (Item'Access, 65 + 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 17032561, targetF => 3);

-- 788:          Item_2 := Get_Inc (Item'Access);
         item_2 := turbo_private__atomic__get_inc__11 (item'access,
           addendF => 3);

-- 789:          Success := Lazy_Get (Item'Access) = 66 + 16#0103_e530# and Item_2 = 65 + 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 17032562 and item_2 = 17032561;

-- 790:       end;
      end B_44;

-- 791:

-- 792:       if Success then
      if success then

-- 793:          Put (".");
         ada__text_io__put__4 (".");

-- 794:       else
      else

-- 795:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 796:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 797:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 798:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 799:          Put_Line ("         Item_2 : Unsigned_Addr;");
         ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 800:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 801:          Put_Line ("         Lazy_Set (Item'Access, 65 + 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 65 + 16#0103_e530#);");

-- 802:          Put_Line ("         Item_2 := Get_Inc (Item'Access);");
         ada__text_io__put_line__2 (
           "         Item_2 := Get_Inc (Item'Access);");

-- 803:          Put_Line ("         Success := Lazy_Get (Item'Access) = 66 + 16#0103_e530# and Item_2 = 65 + 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 66 + 16#0103_e530# and Item_2 = 65 + 16#0103_e530#;");

-- 804:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 805:       end if;
      end if;

-- 806:    exception
   exception

-- 807:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B728b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 808:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 809:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B709b : declare
               M719b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_43__E708b__B709b___clean is
               begin
                  $system__secondary_stack__ss_release (M719b);
                  return;
               end atomic_x_test_28__B_43__E708b__B709b___clean;
            begin
               type atomic_x_test_28__B_43__E708b__B709b__A712b is
                 access all string;
               freeze atomic_x_test_28__B_43__E708b__B709b__A712b []
               R713b : atomic_x_test_28__B_43__E708b__B709b__A712b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L715b : constant integer := R713b.all'length;
               L716b : constant integer := 36 + L715b;
               L717b : constant integer := L716b + 1;
               subtype atomic_x_test_28__B_43__E708b__B709b__TS718bS is
                 string (1 .. 1 + (L717b - 1));
               S718b : string (1 .. 1 + (L717b - 1));
               $system__concat_3__str_concat_3 (S718b,
                 "The following code block has raised ", R713b.all, ":");
               ada__text_io__put_line__2 (S718b);
            at end
               atomic_x_test_28__B_43__E708b__B709b___clean;
            end B709b;

-- 810:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 811:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 812:          Put_Line ("         Item_2 : Unsigned_Addr;");
            ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 813:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 814:          Put_Line ("         Lazy_Set (Item'Access, 65 + 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 65 + 16#0103_e530#);");

-- 815:          Put_Line ("         Item_2 := Get_Inc (Item'Access);");
            ada__text_io__put_line__2 (
              "         Item_2 := Get_Inc (Item'Access);");

-- 816:          Put_Line ("         Success := Lazy_Get (Item'Access) = 66 + 16#0103_e530# and Item_2 = 65 + 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 66 + 16#0103_e530# and Item_2 = 65 + 16#0103_e530#;");

-- 817:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 818:    end;
         end B728b;
   end B_43;

-- 819:

-- 820:    begin
   B_45 : declare
      B_46 : label
   begin

-- 821:       declare
      B_46 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : turbo__unsigned_addr;
      begin

-- 822:          Item : aliased Atomic_Unsigned_Addr;

-- 823:          Item_2 : Unsigned_Addr;

-- 824:       begin

-- 825:          Lazy_Set (Item'Access, 49 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 834592304, targetF => 3);

-- 826:          Item_2 := Get_Inc (Item'Access, 10 * 16#0103_e530#);
         item_2 := turbo_private__atomic__get_inc__12 (item'access,
           170324960, targetF => 3);

-- 827:          Success := Lazy_Get (Item'Access) = 59 * 16#0103_e530# and Item_2 = 49 * 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 1004917264 and item_2 = 834592304;

-- 828:       end;
      end B_46;

-- 829:

-- 830:       if Success then
      if success then

-- 831:          Put (".");
         ada__text_io__put__4 (".");

-- 832:       else
      else

-- 833:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 834:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 835:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 836:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 837:          Put_Line ("         Item_2 : Unsigned_Addr;");
         ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 838:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 839:          Put_Line ("         Lazy_Set (Item'Access, 49 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 49 * 16#0103_e530#);");

-- 840:          Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_e530#);");

-- 841:          Put_Line ("         Success := Lazy_Get (Item'Access) = 59 * 16#0103_e530# and Item_2 = 49 * 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 59 * 16#0103_e530# and Item_2 = 49 * 16#0103_e530#;");

-- 842:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 843:       end if;
      end if;

-- 844:    exception
   exception

-- 845:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B762b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 846:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 847:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B743b : declare
               M753b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_45__E742b__B743b___clean is
               begin
                  $system__secondary_stack__ss_release (M753b);
                  return;
               end atomic_x_test_28__B_45__E742b__B743b___clean;
            begin
               type atomic_x_test_28__B_45__E742b__B743b__A746b is
                 access all string;
               freeze atomic_x_test_28__B_45__E742b__B743b__A746b []
               R747b : atomic_x_test_28__B_45__E742b__B743b__A746b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L749b : constant integer := R747b.all'length;
               L750b : constant integer := 36 + L749b;
               L751b : constant integer := L750b + 1;
               subtype atomic_x_test_28__B_45__E742b__B743b__TS752bS is
                 string (1 .. 1 + (L751b - 1));
               S752b : string (1 .. 1 + (L751b - 1));
               $system__concat_3__str_concat_3 (S752b,
                 "The following code block has raised ", R747b.all, ":");
               ada__text_io__put_line__2 (S752b);
            at end
               atomic_x_test_28__B_45__E742b__B743b___clean;
            end B743b;

-- 848:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 849:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 850:          Put_Line ("         Item_2 : Unsigned_Addr;");
            ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 851:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 852:          Put_Line ("         Lazy_Set (Item'Access, 49 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 49 * 16#0103_e530#);");

-- 853:          Put_Line ("         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Item_2 := Get_Inc (Item'Access, 10 * 16#0103_e530#);");

-- 854:          Put_Line ("         Success := Lazy_Get (Item'Access) = 59 * 16#0103_e530# and Item_2 = 49 * 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 59 * 16#0103_e530# and Item_2 = 49 * 16#0103_e530#;");

-- 855:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 856:    end;
         end B762b;
   end B_45;

-- 857:

-- 858:    begin
   B_47 : declare
      B_48 : label
   begin

-- 859:       declare
      B_48 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : turbo__unsigned_addr;
      begin

-- 860:          Item : aliased Atomic_Unsigned_Addr;

-- 861:          Item_2 : Unsigned_Addr;

-- 862:       begin

-- 863:          Lazy_Set (Item'Access, 35 + 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 17032531, targetF => 3);

-- 864:          Item_2 := Dec_Get (Item'Access);
         item_2 := turbo_private__atomic__dec_get__11 (item'access,
           addendF => 3);

-- 865:          Success := Lazy_Get (Item'Access) = 34 + 16#0103_e530# and Item_2 = 34 + 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 17032530 and item_2 = 17032530;

-- 866:       end;
      end B_48;

-- 867:

-- 868:       if Success then
      if success then

-- 869:          Put (".");
         ada__text_io__put__4 (".");

-- 870:       else
      else

-- 871:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 872:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 873:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 874:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 875:          Put_Line ("         Item_2 : Unsigned_Addr;");
         ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 876:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 877:          Put_Line ("         Lazy_Set (Item'Access, 35 + 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 35 + 16#0103_e530#);");

-- 878:          Put_Line ("         Item_2 := Dec_Get (Item'Access);");
         ada__text_io__put_line__2 (
           "         Item_2 := Dec_Get (Item'Access);");

-- 879:          Put_Line ("         Success := Lazy_Get (Item'Access) = 34 + 16#0103_e530# and Item_2 = 34 + 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 34 + 16#0103_e530# and Item_2 = 34 + 16#0103_e530#;");

-- 880:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 881:       end if;
      end if;

-- 882:    exception
   exception

-- 883:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B796b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 884:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 885:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B777b : declare
               M787b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_47__E776b__B777b___clean is
               begin
                  $system__secondary_stack__ss_release (M787b);
                  return;
               end atomic_x_test_28__B_47__E776b__B777b___clean;
            begin
               type atomic_x_test_28__B_47__E776b__B777b__A780b is
                 access all string;
               freeze atomic_x_test_28__B_47__E776b__B777b__A780b []
               R781b : atomic_x_test_28__B_47__E776b__B777b__A780b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L783b : constant integer := R781b.all'length;
               L784b : constant integer := 36 + L783b;
               L785b : constant integer := L784b + 1;
               subtype atomic_x_test_28__B_47__E776b__B777b__TS786bS is
                 string (1 .. 1 + (L785b - 1));
               S786b : string (1 .. 1 + (L785b - 1));
               $system__concat_3__str_concat_3 (S786b,
                 "The following code block has raised ", R781b.all, ":");
               ada__text_io__put_line__2 (S786b);
            at end
               atomic_x_test_28__B_47__E776b__B777b___clean;
            end B777b;

-- 886:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 887:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 888:          Put_Line ("         Item_2 : Unsigned_Addr;");
            ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 889:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 890:          Put_Line ("         Lazy_Set (Item'Access, 35 + 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 35 + 16#0103_e530#);");

-- 891:          Put_Line ("         Item_2 := Dec_Get (Item'Access);");
            ada__text_io__put_line__2 (
              "         Item_2 := Dec_Get (Item'Access);");

-- 892:          Put_Line ("         Success := Lazy_Get (Item'Access) = 34 + 16#0103_e530# and Item_2 = 34 + 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 34 + 16#0103_e530# and Item_2 = 34 + 16#0103_e530#;");

-- 893:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 894:    end;
         end B796b;
   end B_47;

-- 895:

-- 896:    begin
   B_49 : declare
      B_50 : label
   begin

-- 897:       declare
      B_50 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : turbo__unsigned_addr;
      begin

-- 898:          Item : aliased Atomic_Unsigned_Addr;

-- 899:          Item_2 : Unsigned_Addr;

-- 900:       begin

-- 901:          Lazy_Set (Item'Access, 26 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 442844896, targetF => 3);

-- 902:          Item_2 := Dec_Get (Item'Access, 20 * 16#0103_e530#);
         item_2 := turbo_private__atomic__dec_get__12 (item'access,
           340649920, targetF => 3);

-- 903:          Success := Lazy_Get (Item'Access) = 6 * 16#0103_e530# and Item_2 = 6 * 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 102194976 and item_2 = 102194976;

-- 904:       end;
      end B_50;

-- 905:

-- 906:       if Success then
      if success then

-- 907:          Put (".");
         ada__text_io__put__4 (".");

-- 908:       else
      else

-- 909:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 910:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 911:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 912:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 913:          Put_Line ("         Item_2 : Unsigned_Addr;");
         ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 914:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 915:          Put_Line ("         Lazy_Set (Item'Access, 26 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 26 * 16#0103_e530#);");

-- 916:          Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_e530#);");

-- 917:          Put_Line ("         Success := Lazy_Get (Item'Access) = 6 * 16#0103_e530# and Item_2 = 6 * 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 6 * 16#0103_e530# and Item_2 = 6 * 16#0103_e530#;");

-- 918:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 919:       end if;
      end if;

-- 920:    exception
   exception

-- 921:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B830b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 922:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 923:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B811b : declare
               M821b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_49__E810b__B811b___clean is
               begin
                  $system__secondary_stack__ss_release (M821b);
                  return;
               end atomic_x_test_28__B_49__E810b__B811b___clean;
            begin
               type atomic_x_test_28__B_49__E810b__B811b__A814b is
                 access all string;
               freeze atomic_x_test_28__B_49__E810b__B811b__A814b []
               R815b : atomic_x_test_28__B_49__E810b__B811b__A814b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L817b : constant integer := R815b.all'length;
               L818b : constant integer := 36 + L817b;
               L819b : constant integer := L818b + 1;
               subtype atomic_x_test_28__B_49__E810b__B811b__TS820bS is
                 string (1 .. 1 + (L819b - 1));
               S820b : string (1 .. 1 + (L819b - 1));
               $system__concat_3__str_concat_3 (S820b,
                 "The following code block has raised ", R815b.all, ":");
               ada__text_io__put_line__2 (S820b);
            at end
               atomic_x_test_28__B_49__E810b__B811b___clean;
            end B811b;

-- 924:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 925:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 926:          Put_Line ("         Item_2 : Unsigned_Addr;");
            ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 927:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 928:          Put_Line ("         Lazy_Set (Item'Access, 26 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 26 * 16#0103_e530#);");

-- 929:          Put_Line ("         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Item_2 := Dec_Get (Item'Access, 20 * 16#0103_e530#);");

-- 930:          Put_Line ("         Success := Lazy_Get (Item'Access) = 6 * 16#0103_e530# and Item_2 = 6 * 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 6 * 16#0103_e530# and Item_2 = 6 * 16#0103_e530#;");

-- 931:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 932:    end;
         end B830b;
   end B_49;

-- 933:

-- 934:    begin
   B_51 : declare
      B_52 : label
   begin

-- 935:       declare
      B_52 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : turbo__unsigned_addr;
      begin

-- 936:          Item : aliased Atomic_Unsigned_Addr;

-- 937:          Item_2 : Unsigned_Addr;

-- 938:       begin

-- 939:          Lazy_Set (Item'Access, 31 + 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 17032527, targetF => 3);

-- 940:          Item_2 := Get_Dec (Item'Access);
         item_2 := turbo_private__atomic__get_dec__11 (item'access,
           addendF => 3);

-- 941:          Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530# and Item_2 = 31 + 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 17032526 and item_2 = 17032527;

-- 942:       end;
      end B_52;

-- 943:

-- 944:       if Success then
      if success then

-- 945:          Put (".");
         ada__text_io__put__4 (".");

-- 946:       else
      else

-- 947:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 948:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 949:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 950:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 951:          Put_Line ("         Item_2 : Unsigned_Addr;");
         ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 952:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 953:          Put_Line ("         Lazy_Set (Item'Access, 31 + 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 31 + 16#0103_e530#);");

-- 954:          Put_Line ("         Item_2 := Get_Dec (Item'Access);");
         ada__text_io__put_line__2 (
           "         Item_2 := Get_Dec (Item'Access);");

-- 955:          Put_Line ("         Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530# and Item_2 = 31 + 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530# and Item_2 = 31 + 16#0103_e530#;");

-- 956:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 957:       end if;
      end if;

-- 958:    exception
   exception

-- 959:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B864b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 960:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 961:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B845b : declare
               M855b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_51__E844b__B845b___clean is
               begin
                  $system__secondary_stack__ss_release (M855b);
                  return;
               end atomic_x_test_28__B_51__E844b__B845b___clean;
            begin
               type atomic_x_test_28__B_51__E844b__B845b__A848b is
                 access all string;
               freeze atomic_x_test_28__B_51__E844b__B845b__A848b []
               R849b : atomic_x_test_28__B_51__E844b__B845b__A848b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L851b : constant integer := R849b.all'length;
               L852b : constant integer := 36 + L851b;
               L853b : constant integer := L852b + 1;
               subtype atomic_x_test_28__B_51__E844b__B845b__TS854bS is
                 string (1 .. 1 + (L853b - 1));
               S854b : string (1 .. 1 + (L853b - 1));
               $system__concat_3__str_concat_3 (S854b,
                 "The following code block has raised ", R849b.all, ":");
               ada__text_io__put_line__2 (S854b);
            at end
               atomic_x_test_28__B_51__E844b__B845b___clean;
            end B845b;

-- 962:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 963:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 964:          Put_Line ("         Item_2 : Unsigned_Addr;");
            ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 965:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 966:          Put_Line ("         Lazy_Set (Item'Access, 31 + 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 31 + 16#0103_e530#);");

-- 967:          Put_Line ("         Item_2 := Get_Dec (Item'Access);");
            ada__text_io__put_line__2 (
              "         Item_2 := Get_Dec (Item'Access);");

-- 968:          Put_Line ("         Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530# and Item_2 = 31 + 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 30 + 16#0103_e530# and Item_2 = 31 + 16#0103_e530#;");

-- 969:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 970:    end;
         end B864b;
   end B_51;

-- 971:

-- 972:    begin
   B_53 : declare
      B_54 : label
   begin

-- 973:       declare
      B_54 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
         item_2 : turbo__unsigned_addr;
      begin

-- 974:          Item : aliased Atomic_Unsigned_Addr;

-- 975:          Item_2 : Unsigned_Addr;

-- 976:       begin

-- 977:          Lazy_Set (Item'Access, 64 * 16#0103_e530#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 1090079744, targetF => 3);

-- 978:          Item_2 := Get_Dec (Item'Access, 4 * 16#0103_e530#);
         item_2 := turbo_private__atomic__get_dec__12 (item'access,
           68129984, targetF => 3);

-- 979:          Success := Lazy_Get (Item'Access) = 60 * 16#0103_e530# and Item_2 = 64 * 16#0103_e530#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 1021949760 and item_2 =
           1090079744;

-- 980:       end;
      end B_54;

-- 981:

-- 982:       if Success then
      if success then

-- 983:          Put (".");
         ada__text_io__put__4 (".");

-- 984:       else
      else

-- 985:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 986:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 987:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 988:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 989:          Put_Line ("         Item_2 : Unsigned_Addr;");
         ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 990:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 991:          Put_Line ("         Lazy_Set (Item'Access, 64 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 64 * 16#0103_e530#);");

-- 992:          Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_e530#);");
         ada__text_io__put_line__2 (
           "         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_e530#);");

-- 993:          Put_Line ("         Success := Lazy_Get (Item'Access) = 60 * 16#0103_e530# and Item_2 = 64 * 16#0103_e530#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 60 * 16#0103_e530# and Item_2 = 64 * 16#0103_e530#;");

-- 994:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 995:       end if;
      end if;

-- 996:    exception
   exception

-- 997:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B898b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 998:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 999:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B879b : declare
               M889b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_53__E878b__B879b___clean is
               begin
                  $system__secondary_stack__ss_release (M889b);
                  return;
               end atomic_x_test_28__B_53__E878b__B879b___clean;
            begin
               type atomic_x_test_28__B_53__E878b__B879b__A882b is
                 access all string;
               freeze atomic_x_test_28__B_53__E878b__B879b__A882b []
               R883b : atomic_x_test_28__B_53__E878b__B879b__A882b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L885b : constant integer := R883b.all'length;
               L886b : constant integer := 36 + L885b;
               L887b : constant integer := L886b + 1;
               subtype atomic_x_test_28__B_53__E878b__B879b__TS888bS is
                 string (1 .. 1 + (L887b - 1));
               S888b : string (1 .. 1 + (L887b - 1));
               $system__concat_3__str_concat_3 (S888b,
                 "The following code block has raised ", R883b.all, ":");
               ada__text_io__put_line__2 (S888b);
            at end
               atomic_x_test_28__B_53__E878b__B879b___clean;
            end B879b;

-- 1000:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 1001:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 1002:          Put_Line ("         Item_2 : Unsigned_Addr;");
            ada__text_io__put_line__2 ("         Item_2 : Unsigned_Addr;");

-- 1003:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 1004:          Put_Line ("         Lazy_Set (Item'Access, 64 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 64 * 16#0103_e530#);");

-- 1005:          Put_Line ("         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_e530#);");
            ada__text_io__put_line__2 (
              "         Item_2 := Get_Dec (Item'Access, 4 * 16#0103_e530#);");

-- 1006:          Put_Line ("         Success := Lazy_Get (Item'Access) = 60 * 16#0103_e530# and Item_2 = 64 * 16#0103_e530#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 60 * 16#0103_e530# and Item_2 = 64 * 16#0103_e530#;");

-- 1007:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 1008:    end;
         end B898b;
   end B_53;

-- 1009:

-- 1010:    begin
   B_55 : declare
      B_56 : label
   begin

-- 1011:       declare
      B_56 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 1012:          Item : aliased Atomic_Unsigned_Addr;

-- 1013:       begin

-- 1014:          Lazy_Set (Item'Access, 2#0110_0010#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 98, targetF => 3);

-- 1015:          Do_And (Item, 2#1111_0000#);
         turbo_private__atomic__do_and__5 (item, 240);

-- 1016:          Success := Lazy_Get (Item'Access) = 2#0110_0000#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 96;

-- 1017:       end;
      end B_56;

-- 1018:

-- 1019:       if Success then
      if success then

-- 1020:          Put (".");
         ada__text_io__put__4 (".");

-- 1021:       else
      else

-- 1022:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 1023:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 1024:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 1025:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 1026:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 1027:          Put_Line ("         Lazy_Set (Item'Access, 2#0110_0010#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 2#0110_0010#);");

-- 1028:          Put_Line ("         Do_And (Item, 2#1111_0000#);");
         ada__text_io__put_line__2 (
           "         Do_And (Item, 2#1111_0000#);");

-- 1029:          Put_Line ("         Success := Lazy_Get (Item'Access) = 2#0110_0000#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 2#0110_0000#;");

-- 1030:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 1031:       end if;
      end if;

-- 1032:    exception
   exception

-- 1033:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B929b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 1034:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 1035:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B911b : declare
               M921b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_55__E910b__B911b___clean is
               begin
                  $system__secondary_stack__ss_release (M921b);
                  return;
               end atomic_x_test_28__B_55__E910b__B911b___clean;
            begin
               type atomic_x_test_28__B_55__E910b__B911b__A914b is
                 access all string;
               freeze atomic_x_test_28__B_55__E910b__B911b__A914b []
               R915b : atomic_x_test_28__B_55__E910b__B911b__A914b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L917b : constant integer := R915b.all'length;
               L918b : constant integer := 36 + L917b;
               L919b : constant integer := L918b + 1;
               subtype atomic_x_test_28__B_55__E910b__B911b__TS920bS is
                 string (1 .. 1 + (L919b - 1));
               S920b : string (1 .. 1 + (L919b - 1));
               $system__concat_3__str_concat_3 (S920b,
                 "The following code block has raised ", R915b.all, ":");
               ada__text_io__put_line__2 (S920b);
            at end
               atomic_x_test_28__B_55__E910b__B911b___clean;
            end B911b;

-- 1036:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 1037:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 1038:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 1039:          Put_Line ("         Lazy_Set (Item'Access, 2#0110_0010#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 2#0110_0010#);");

-- 1040:          Put_Line ("         Do_And (Item, 2#1111_0000#);");
            ada__text_io__put_line__2 (
              "         Do_And (Item, 2#1111_0000#);");

-- 1041:          Put_Line ("         Success := Lazy_Get (Item'Access) = 2#0110_0000#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 2#0110_0000#;");

-- 1042:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 1043:    end;
         end B929b;
   end B_55;

-- 1044:

-- 1045:    begin
   B_57 : declare
      B_58 : label
   begin

-- 1046:       declare
      B_58 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 1047:          Item : aliased Atomic_Unsigned_Addr;

-- 1048:       begin

-- 1049:          Lazy_Set (Item'Access, 2#0110_0010#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 98, targetF => 3);

-- 1050:          Do_And (Item'Access, 2#1111_0000#);
         turbo_private__atomic__do_and__6 (item'access, 240, addendF =>
           3);

-- 1051:          Success := Lazy_Get (Item'Access) = 2#0110_0000#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 96;

-- 1052:       end;
      end B_58;

-- 1053:

-- 1054:       if Success then
      if success then

-- 1055:          Put (".");
         ada__text_io__put__4 (".");

-- 1056:       else
      else

-- 1057:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 1058:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 1059:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 1060:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 1061:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 1062:          Put_Line ("         Lazy_Set (Item'Access, 2#0110_0010#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 2#0110_0010#);");

-- 1063:          Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
         ada__text_io__put_line__2 (
           "         Do_And (Item'Access, 2#1111_0000#);");

-- 1064:          Put_Line ("         Success := Lazy_Get (Item'Access) = 2#0110_0000#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 2#0110_0000#;");

-- 1065:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 1066:       end if;
      end if;

-- 1067:    exception
   exception

-- 1068:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B961b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 1069:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 1070:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B943b : declare
               M953b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_57__E942b__B943b___clean is
               begin
                  $system__secondary_stack__ss_release (M953b);
                  return;
               end atomic_x_test_28__B_57__E942b__B943b___clean;
            begin
               type atomic_x_test_28__B_57__E942b__B943b__A946b is
                 access all string;
               freeze atomic_x_test_28__B_57__E942b__B943b__A946b []
               R947b : atomic_x_test_28__B_57__E942b__B943b__A946b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L949b : constant integer := R947b.all'length;
               L950b : constant integer := 36 + L949b;
               L951b : constant integer := L950b + 1;
               subtype atomic_x_test_28__B_57__E942b__B943b__TS952bS is
                 string (1 .. 1 + (L951b - 1));
               S952b : string (1 .. 1 + (L951b - 1));
               $system__concat_3__str_concat_3 (S952b,
                 "The following code block has raised ", R947b.all, ":");
               ada__text_io__put_line__2 (S952b);
            at end
               atomic_x_test_28__B_57__E942b__B943b___clean;
            end B943b;

-- 1071:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 1072:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 1073:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 1074:          Put_Line ("         Lazy_Set (Item'Access, 2#0110_0010#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 2#0110_0010#);");

-- 1075:          Put_Line ("         Do_And (Item'Access, 2#1111_0000#);");
            ada__text_io__put_line__2 (
              "         Do_And (Item'Access, 2#1111_0000#);");

-- 1076:          Put_Line ("         Success := Lazy_Get (Item'Access) = 2#0110_0000#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 2#0110_0000#;");

-- 1077:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 1078:    end;
         end B961b;
   end B_57;

-- 1079:

-- 1080:    begin
   B_59 : declare
      B_60 : label
   begin

-- 1081:       declare
      B_60 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 1082:          Item : aliased Atomic_Unsigned_Addr;

-- 1083:       begin

-- 1084:          Lazy_Set (Item'Access, 2#1010_1110#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 174, targetF => 3);

-- 1085:          Do_Or (Item, 2#1111_0000#);
         turbo_private__atomic__do_or__5 (item, 240);

-- 1086:          Success := Lazy_Get (Item'Access) = 2#1111_1110#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 254;

-- 1087:       end;
      end B_60;

-- 1088:

-- 1089:       if Success then
      if success then

-- 1090:          Put (".");
         ada__text_io__put__4 (".");

-- 1091:       else
      else

-- 1092:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 1093:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 1094:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 1095:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 1096:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 1097:          Put_Line ("         Lazy_Set (Item'Access, 2#1010_1110#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 2#1010_1110#);");

-- 1098:          Put_Line ("         Do_Or (Item, 2#1111_0000#);");
         ada__text_io__put_line__2 (
           "         Do_Or (Item, 2#1111_0000#);");

-- 1099:          Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1111_1110#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 2#1111_1110#;");

-- 1100:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 1101:       end if;
      end if;

-- 1102:    exception
   exception

-- 1103:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B992b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 1104:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 1105:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B974b : declare
               M984b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_59__E973b__B974b___clean is
               begin
                  $system__secondary_stack__ss_release (M984b);
                  return;
               end atomic_x_test_28__B_59__E973b__B974b___clean;
            begin
               type atomic_x_test_28__B_59__E973b__B974b__A977b is
                 access all string;
               freeze atomic_x_test_28__B_59__E973b__B974b__A977b []
               R978b : atomic_x_test_28__B_59__E973b__B974b__A977b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L980b : constant integer := R978b.all'length;
               L981b : constant integer := 36 + L980b;
               L982b : constant integer := L981b + 1;
               subtype atomic_x_test_28__B_59__E973b__B974b__TS983bS is
                 string (1 .. 1 + (L982b - 1));
               S983b : string (1 .. 1 + (L982b - 1));
               $system__concat_3__str_concat_3 (S983b,
                 "The following code block has raised ", R978b.all, ":");
               ada__text_io__put_line__2 (S983b);
            at end
               atomic_x_test_28__B_59__E973b__B974b___clean;
            end B974b;

-- 1106:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 1107:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 1108:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 1109:          Put_Line ("         Lazy_Set (Item'Access, 2#1010_1110#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 2#1010_1110#);");

-- 1110:          Put_Line ("         Do_Or (Item, 2#1111_0000#);");
            ada__text_io__put_line__2 (
              "         Do_Or (Item, 2#1111_0000#);");

-- 1111:          Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1111_1110#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 2#1111_1110#;");

-- 1112:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 1113:    end;
         end B992b;
   end B_59;

-- 1114:

-- 1115:    begin
   B_61 : declare
      B_62 : label
   begin

-- 1116:       declare
      B_62 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 1117:          Item : aliased Atomic_Unsigned_Addr;

-- 1118:       begin

-- 1119:          Lazy_Set (Item'Access, 2#1010_1110#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 174, targetF => 3);

-- 1120:          Do_Or (Item'Access, 2#1111_0000#);
         turbo_private__atomic__do_or__6 (item'access, 240, addendF =>
           3);

-- 1121:          Success := Lazy_Get (Item'Access) = 2#1111_1110#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 254;

-- 1122:       end;
      end B_62;

-- 1123:

-- 1124:       if Success then
      if success then

-- 1125:          Put (".");
         ada__text_io__put__4 (".");

-- 1126:       else
      else

-- 1127:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 1128:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 1129:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 1130:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 1131:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 1132:          Put_Line ("         Lazy_Set (Item'Access, 2#1010_1110#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 2#1010_1110#);");

-- 1133:          Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
         ada__text_io__put_line__2 (
           "         Do_Or (Item'Access, 2#1111_0000#);");

-- 1134:          Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1111_1110#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 2#1111_1110#;");

-- 1135:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 1136:       end if;
      end if;

-- 1137:    exception
   exception

-- 1138:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B1024b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 1139:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 1140:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B1006b : declare
               M1016b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_61__E1005b__B1006b___clean is
               begin
                  $system__secondary_stack__ss_release (M1016b);
                  return;
               end atomic_x_test_28__B_61__E1005b__B1006b___clean;
            begin
               type atomic_x_test_28__B_61__E1005b__B1006b__A1009b is
                 access all string;
               freeze atomic_x_test_28__B_61__E1005b__B1006b__A1009b []
               R1010b : atomic_x_test_28__B_61__E1005b__B1006b__A1009b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L1012b : constant integer := R1010b.all'length;
               L1013b : constant integer := 36 + L1012b;
               L1014b : constant integer := L1013b + 1;
               subtype atomic_x_test_28__B_61__E1005b__B1006b__TS1015bS is
                 string (1 .. 1 + (L1014b - 1));
               S1015b : string (1 .. 1 + (L1014b - 1));
               $system__concat_3__str_concat_3 (S1015b,
                 "The following code block has raised ", R1010b.all, ":");
               ada__text_io__put_line__2 (S1015b);
            at end
               atomic_x_test_28__B_61__E1005b__B1006b___clean;
            end B1006b;

-- 1141:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 1142:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 1143:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 1144:          Put_Line ("         Lazy_Set (Item'Access, 2#1010_1110#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 2#1010_1110#);");

-- 1145:          Put_Line ("         Do_Or (Item'Access, 2#1111_0000#);");
            ada__text_io__put_line__2 (
              "         Do_Or (Item'Access, 2#1111_0000#);");

-- 1146:          Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1111_1110#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 2#1111_1110#;");

-- 1147:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 1148:    end;
         end B1024b;
   end B_61;

-- 1149:

-- 1150:    begin
   B_63 : declare
      B_64 : label
   begin

-- 1151:       declare
      B_64 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 1152:          Item : aliased Atomic_Unsigned_Addr;

-- 1153:       begin

-- 1154:          Lazy_Set (Item'Access, 2#0010_0110#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 38, targetF => 3);

-- 1155:          Do_Xor (Item, 2#1111_0000#);
         turbo_private__atomic__do_xor__5 (item, 240);

-- 1156:          Success := Lazy_Get (Item'Access) = 2#1101_0110#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 214;

-- 1157:       end;
      end B_64;

-- 1158:

-- 1159:       if Success then
      if success then

-- 1160:          Put (".");
         ada__text_io__put__4 (".");

-- 1161:       else
      else

-- 1162:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 1163:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 1164:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 1165:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 1166:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 1167:          Put_Line ("         Lazy_Set (Item'Access, 2#0010_0110#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 2#0010_0110#);");

-- 1168:          Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
         ada__text_io__put_line__2 (
           "         Do_Xor (Item, 2#1111_0000#);");

-- 1169:          Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1101_0110#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 2#1101_0110#;");

-- 1170:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 1171:       end if;
      end if;

-- 1172:    exception
   exception

-- 1173:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B1055b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 1174:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 1175:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B1037b : declare
               M1047b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_63__E1036b__B1037b___clean is
               begin
                  $system__secondary_stack__ss_release (M1047b);
                  return;
               end atomic_x_test_28__B_63__E1036b__B1037b___clean;
            begin
               type atomic_x_test_28__B_63__E1036b__B1037b__A1040b is
                 access all string;
               freeze atomic_x_test_28__B_63__E1036b__B1037b__A1040b []
               R1041b : atomic_x_test_28__B_63__E1036b__B1037b__A1040b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L1043b : constant integer := R1041b.all'length;
               L1044b : constant integer := 36 + L1043b;
               L1045b : constant integer := L1044b + 1;
               subtype atomic_x_test_28__B_63__E1036b__B1037b__TS1046bS is
                 string (1 .. 1 + (L1045b - 1));
               S1046b : string (1 .. 1 + (L1045b - 1));
               $system__concat_3__str_concat_3 (S1046b,
                 "The following code block has raised ", R1041b.all, ":");
               ada__text_io__put_line__2 (S1046b);
            at end
               atomic_x_test_28__B_63__E1036b__B1037b___clean;
            end B1037b;

-- 1176:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 1177:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 1178:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 1179:          Put_Line ("         Lazy_Set (Item'Access, 2#0010_0110#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 2#0010_0110#);");

-- 1180:          Put_Line ("         Do_Xor (Item, 2#1111_0000#);");
            ada__text_io__put_line__2 (
              "         Do_Xor (Item, 2#1111_0000#);");

-- 1181:          Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1101_0110#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 2#1101_0110#;");

-- 1182:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 1183:    end;
         end B1055b;
   end B_63;

-- 1184:

-- 1185:    begin
   B_65 : declare
      B_66 : label
   begin

-- 1186:       declare
      B_66 : declare
         item : aliased turbo__atomic__atomic_unsigned_addr;
      begin

-- 1187:          Item : aliased Atomic_Unsigned_Addr;

-- 1188:       begin

-- 1189:          Lazy_Set (Item'Access, 2#0010_0110#);
         turbo_private__atomic_unsigned_addr_package__lazy_set (
           turbo_private__atomic_unsigned_addr_package__T5s!(item'
           access), 38, targetF => 3);

-- 1190:          Do_Xor (Item'Access, 2#1111_0000#);
         turbo_private__atomic__do_xor__6 (item'access, 240, addendF =>
           3);

-- 1191:          Success := Lazy_Get (Item'Access) = 2#1101_0110#;
         success :=
           turbo_private__atomic_unsigned_addr_package__lazy_get__2 (
           turbo_private__atomic_unsigned_addr_package__T2s!(item'
           access), sourceF => 3) = 214;

-- 1192:       end;
      end B_66;

-- 1193:

-- 1194:       if Success then
      if success then

-- 1195:          Put (".");
         ada__text_io__put__4 (".");

-- 1196:       else
      else

-- 1197:          New_Line;
         ada__text_io__new_line__2 (spacing => 1);

-- 1198:          Put_Line ("The following code block has failed a check:");
         ada__text_io__put_line__2 (
           "The following code block has failed a check:");

-- 1199:          Put_Line ("      declare");
         ada__text_io__put_line__2 ("      declare");

-- 1200:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
         ada__text_io__put_line__2 (
           "         Item : aliased Atomic_Unsigned_Addr;");

-- 1201:          Put_Line ("      begin");
         ada__text_io__put_line__2 ("      begin");

-- 1202:          Put_Line ("         Lazy_Set (Item'Access, 2#0010_0110#);");
         ada__text_io__put_line__2 (
           "         Lazy_Set (Item'Access, 2#0010_0110#);");

-- 1203:          Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
         ada__text_io__put_line__2 (
           "         Do_Xor (Item'Access, 2#1111_0000#);");

-- 1204:          Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1101_0110#;");
         ada__text_io__put_line__2 (
           "         Success := Lazy_Get (Item'Access) = 2#1101_0110#;");

-- 1205:          Put_Line ("      end;");
         ada__text_io__put_line__2 ("      end;");

-- 1206:       end if;
      end if;

-- 1207:    exception
   exception

-- 1208:       when E : others =>
      when others =>
         system__soft_links__abort_undefer.all;
         B1087b : declare
            e : ada__exceptions__exception_occurrence;
         begin
            $ada__exceptions__save_occurrence (e,
              system__soft_links__get_current_excep.all.all);

-- 1209:          New_Line;
            ada__text_io__new_line__2 (spacing => 1);

-- 1210:          Put_Line ("The following code block has raised " & Exception_Name (E) & ":");
            B1069b : declare
               M1079b : system__secondary_stack__mark_id :=
                 $system__secondary_stack__ss_mark;
               procedure atomic_x_test_28__B_65__E1068b__B1069b___clean is
               begin
                  $system__secondary_stack__ss_release (M1079b);
                  return;
               end atomic_x_test_28__B_65__E1068b__B1069b___clean;
            begin
               type atomic_x_test_28__B_65__E1068b__B1069b__A1072b is
                 access all string;
               freeze atomic_x_test_28__B_65__E1068b__B1069b__A1072b []
               R1073b : atomic_x_test_28__B_65__E1068b__B1069b__A1072b :=
                 ada__exceptions__exception_name__2 (e)'reference;
               L1075b : constant integer := R1073b.all'length;
               L1076b : constant integer := 36 + L1075b;
               L1077b : constant integer := L1076b + 1;
               subtype atomic_x_test_28__B_65__E1068b__B1069b__TS1078bS is
                 string (1 .. 1 + (L1077b - 1));
               S1078b : string (1 .. 1 + (L1077b - 1));
               $system__concat_3__str_concat_3 (S1078b,
                 "The following code block has raised ", R1073b.all, ":");
               ada__text_io__put_line__2 (S1078b);
            at end
               atomic_x_test_28__B_65__E1068b__B1069b___clean;
            end B1069b;

-- 1211:          Put_Line ("      declare");
            ada__text_io__put_line__2 ("      declare");

-- 1212:          Put_Line ("         Item : aliased Atomic_Unsigned_Addr;");
            ada__text_io__put_line__2 (
              "         Item : aliased Atomic_Unsigned_Addr;");

-- 1213:          Put_Line ("      begin");
            ada__text_io__put_line__2 ("      begin");

-- 1214:          Put_Line ("         Lazy_Set (Item'Access, 2#0010_0110#);");
            ada__text_io__put_line__2 (
              "         Lazy_Set (Item'Access, 2#0010_0110#);");

-- 1215:          Put_Line ("         Do_Xor (Item'Access, 2#1111_0000#);");
            ada__text_io__put_line__2 (
              "         Do_Xor (Item'Access, 2#1111_0000#);");

-- 1216:          Put_Line ("         Success := Lazy_Get (Item'Access) = 2#1101_0110#;");
            ada__text_io__put_line__2 (
              "         Success := Lazy_Get (Item'Access) = 2#1101_0110#;");

-- 1217:          Put_Line ("      end;");
            ada__text_io__put_line__2 ("      end;");

-- 1218:    end;
         end B1087b;

-- 1219:

-- 1220: end Atomic_X_Test_28;
   end B_65;
   return;
end atomic_x_test_28;
