suggestion:
typedef std::map<int, int> counting_map;