package Limited_With7_Pkg is

   type Rec;

   type Rec is record
      I : Integer;
   end record;

end Limited_With7_Pkg;