renamed map_get_value with map_get