#ifndef AUX_H // -*- c++ -*-
#define AUX_H

// Deal with deficiencies of the C++ library.

#if __GNUC__ >= 3
//# include <ext/hash_map>
# include <map>
# define hash_map map

#else
# include <hash_map>
# include <string>

namespace std {

template <> 
struct hash<std::string>
{
  size_t  operator()(const std::string& __s) const
  {
    return  __stl_hash_string(__s.c_str());
  }
};

template <> 
struct hash<void*>
{
  size_t  operator()(const void* value) const
  {
    return reinterpret_cast<unsigned long>(value);
  }
};

}

#endif

#endif