symbol table: rehashing