1package body Inline5_Pkg is
2
3  procedure Test (I : Integer) is
4
5    function F (J : Integer) return Integer is
6    begin
7      return I - J;
8    end;
9
10  begin
11    if I /= F (I) then
12      raise Program_Error;
13    end if;
14  end;
15
16end Inline5_Pkg;
17