1package Loop_Optimization14 is
2
3   type Rec is record
4      A : Boolean;
5      pragma Atomic (A);
6
7      B : Boolean;
8
9   end record;
10
11   procedure Finalize_Pool (Pool : in out Rec);
12
13end Loop_Optimization14;
14