testsuite/gnat.dg/renaming10.ads

package Renaming10 is

   type Rec is record
      Position : Natural;
   end record;

   function F (Input : Rec) return Natural;

end Renaming10;