gcc/testsuite/gnat.dg/loop_unchecked_conversion.ads

package loop_unchecked_conversion is

   procedure slice;

end loop_unchecked_conversion;