[symbol_manager]