hashpointer
return hashpointer(t, pvalue(key));
return hashpointer(t, fvalue(key));
return hashpointer(t, gcvalue(key));