with Limited_With2; package Limited_With2_Pkg2 is type Rec3 is record F : Limited_With2.Rec1; end record; end Limited_With2_Pkg2;