let string_id = new ident_table