Pointer hash table reallocation code seems never to have been tested!