-- { dg-do run }

procedure Alignment10 is

   type Short_T is mod 2 ** 16;
   for Short_T'Size use 16;
   for Short_T'Alignment use 1;

   subtype Short_Sub_T is Short_T range 1000 .. 1005;

   A : aliased Short_T := 1000;
   B : Short_Sub_T;
   for B'Address use A'Address;
   pragma Import (Ada, B);

begin
  if B /= 1000 then
    raise Program_Error;
  end if;
end;