-- { dg-compile }
procedure Alignment15 is
type T0 is record
X : Integer;
end record;
for T0'Alignment use 0;
type T00 is record
end record with Alignment => 0;
Dummy0 : T0;
Dummy00 : T00;
begin
null;
end;