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