with Generic_Inst12_Pkg1; package Generic_Inst12_Pkg2 is new Generic_Inst12_Pkg1 (Integer);