using map_str_int_type = tbb::concurrent_map<str_type, llil_int_type>;