real_key          125 gc/finalize.c          register ptr_t real_key = (ptr_t)REVEAL_POINTER(p -> hidden_key);
real_key          127 gc/finalize.c          register int new_hash = HASH3(real_key, new_size, log_new_size);