+ std::cout << " \"" << im->first << "\" = " << im->second << std::endl;
+
+ // The following should print in hexadecimal an in decimal the given
+ // integer as stated by:
+ // http://www.developer.com/net/cplus/article.php/10919_2119781_3
+ // Alas it doesn't work with g++ (at least)...