using map_str_int_type = std::map<str_type, llil_int_type>;