Restructure the table by allocating a new table and reinserting all keys again. When entries have been deleted, the new table may actually be smaller than the old one. */
source not stored for this graph (policy: none)
no test coverage detected