with Charles.Maps.Sorted.Strings.Unbounded;
pragma Elaborate_All (Charles.Maps.Sorted.Strings.Unbounded);

package String_Integer_Sorted_Maps is
   new Charles.Maps.Sorted.Strings.Unbounded (Integer);

pragma Preelaborate (String_Integer_Sorted_Maps);




