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