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