hash_t.h for hashtable_t::elements updated