package Generic_Inst20 is
   pragma Elaborate_Body;
   package Sub is
      function F return Boolean;
   end Sub;
end Generic_Inst20;