Map.h proper value_t and key_t