method
get_name id =
Hashtbl
.find id_to_string id