restarting symbol table