[FOLD] hash_pair
[FOLD] TaggedCache stuff