1package Atomic6_Pkg is 2 3 type Int is new Integer; 4 pragma Atomic (Int); 5 6 Counter1 : Int; 7 Counter2 : Int; 8 9 Timer1 : Integer; 10 pragma Atomic (Timer1); 11 12 Timer2 : Integer; 13 pragma Atomic (Timer2); 14 15 type Arr1 is array (1..8) of Int; 16 Counter : Arr1; 17 18 type Arr2 is array (1..8) of Integer; 19 pragma Atomic_Components (Arr2); 20 Timer : Arr2; 21 22 type R is record 23 Counter1 : Int; 24 Timer1 : Integer; 25 pragma Atomic (Timer1); 26 Counter2 : Int; 27 Timer2 : Integer; 28 pragma Atomic (Timer2); 29 Dummy : Integer; 30 end record; 31 32 type Int_Ptr is access all Int; 33 34end Atomic6_Pkg; 35