gcc/testsuite/gnat.dg/test_prefix1.adb

   1 -- { dg-do run }
   2
   3 with prefix1; use prefix1;
   4 procedure test_prefix1 is
   5    Val : Natural;
   6    Obj  : T;
   7 --
   8 begin
   9    for J in Obj.Func'Range loop
  10       Val := Obj.Func (J);
  11       if Val /= 2 ** J then
  12          raise Program_Error;
  13       end if;
  14    end loop;
  15 end test_prefix1;