1package body Thin_Pointer2_Pkg is 2 3 type SB is access constant String; 4 5 function Inner (S : SB) return Character is 6 begin 7 if S /= null and then S'Length > 0 then 8 return S (S'First); 9 end if; 10 return '*'; 11 end; 12 13 function F return Character is 14 begin 15 return Inner (SB (S)); 16 end; 17 18end Thin_Pointer2_Pkg; 19