Symbol: hashpointer