1147c1147
< assert(blk->tag == tags->extractTag(addr));
---
> assert(regenerateBlkAddr(blk) == addr);