gcc/testsuite/gnat.dg/sort2.adb

   1 --  { dg-do run }
   2
   3 with sort1;
   4 procedure sort2 is
   5 begin
   6    if Sort1 ("hello world") /= " dehllloorw" then
   7       raise Program_Error;
   8    end if;
   9 end sort2;