Oh my, they are also casting to SymbolTable :(