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