ubuntu-buildroot/output/build/host-gcc-initial-11.4.0/gcc/testsuite/gnat.dg/prot3.adb

--  { dg-do run }

with Prot3_Pkg; use Prot3_Pkg;

procedure Prot3 is
begin
   P.Foo (4);
end;