remove unused get_ident_interner's