symbol_resolve