package Generic_Inst4_Typ is
   subtype New_Int is Natural;
   type T is
      record
         X : Integer;
      end record;
end;