package Foo is
   type R1_Type is record
      A, B : Integer;
      C    : Natural;
   end record;

   type R2_Type (N : Natural) is record
      I : Integer;
      S : String (1 .. N);
   end record;
end Foo;
