let
string_id =
new
ident_table