with Inline20_G; generic with package Msg is new Inline20_G (<>); package Inline20_H is generic type T is private; with function Image (Data : T) return String; package Nested_H is package My_Nested_G is new Msg.Nested_G (T); function F return Integer renames My_Nested_G.F; end Nested_H; end Inline20_H;