hidden_identity_hash_new 1102 eval.c         	CREF_REFINEMENTS_SET(cref, hidden_identity_hash_new());
hidden_identity_hash_new 1252 eval.c         	refinements = hidden_identity_hash_new();
hidden_identity_hash_new 1258 eval.c         	activated_refinements = hidden_identity_hash_new();