gcc/testsuite/gnat.dg/sort1.ads

function sort1 (S : String) return String;
pragma Pure (sort1);