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