Re: restore_symboltable