* SymbolRegistry imported.