RE: restore_symboltable