gcc/testsuite/gnat.dg/dinst_pkg.adb

with Ada.Text_IO; use Ada.Text_IO;
package body DInst_Pkg is
   procedure Foo is
   begin
      Put_Line ("hello there");
   end;
end;