with Limited_With4;package Limited_With4_Pkg is
P1 : Limited_With4.Ptr1 := Limited_With4.Proc1'Access;
P2 : Limited_With4.Ptr2 := Limited_With4.Proc2'Access;type Rec12 is record
I :Integer;
R : Limited_With4.Rec1;end record;type Rec22 is record
I :Integer;
R : Limited_With4.Rec2;end record;end Limited_With4_Pkg;