gcc/testsuite/gnat.dg/addr12.adb

--  { dg-do run }

with Addr12_A;

procedure Addr12 is
begin
   Addr12_A.Do_Stuff;
end;