using map_str_int_type = std::unordered_map<std::string, llil_int_type>;
// to (llil2a.cpp):
using map_str_int_type = std::map<std::string, llil_int_type>;