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