1package body Inline9_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    type FPT is access function (I : Integer) return Integer;
11
12    P : FPT := F'Access;
13
14  begin
15    if I /= P (I) then
16      raise Program_Error;
17    end if;
18  end;
19
20end Inline9_Pkg;
21