removed UnknownSymbol