package Thin_Pointer2_Pkg is
type SA is access String;
for SA'Size use Standard'Address_Size;
S : SA;
function F return Character;
end Thin_Pointer2_Pkg;