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