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

package String_Integer_Hashed_Maps is
   new Charles.Maps.Hashed.Strings.Unbounded (Integer);

pragma Preelaborate (String_Integer_Hashed_Maps);






