let translated_names_table = Hashtbl.create 257