--  { dg-do compile }
--  { dg-options "-O -gnatn" }

with Inline14_Pkg; use Inline14_Pkg;

procedure Inline14 is
begin
  Proc;
end;