uint64_t map_get (map_t *map, void *key);
uint64_t map_set (map_t *map, void *key, uint64_t new_val);
uint64_t map_add (map_t *map, void *key, uint64_t new_val);
uint64_t map_get (map_t *map, void *key);
uint64_t map_set (map_t *map, void *key, uint64_t new_val);
uint64_t map_add (map_t *map, void *key, uint64_t new_val);