1pragma Restrictions (No_Exception_Propagation); 2 3package Warn31 is 4 5 type U16 is mod 2 ** 16; 6 type U32 is mod 2 ** 32; 7 8 type Pair is record 9 X, Y : U16; 10 end record; 11 for Pair'Alignment use U32'Alignment; 12 13 Blob : array (1 .. 2) of Pair; 14 15 Sum : array (1 .. 2) of U32; 16 for Sum'Address use Blob'Address; 17 18 procedure Dummy; 19 20end Warn31;