1with System; 2 3package Allocator_Maxalign2 is 4 type Block is record 5 X : Integer; 6 end record; 7 for Block'Alignment use Standard'Maximum_Alignment; 8 9 Addr : System.Address; 10 11 procedure Check; 12end; 13