limited with Limited_With7_Pkg;

package Limited_With7 is

   procedure Proc (R : out Limited_With7_Pkg.Rec);

end Limited_With7;