368,370c368,370
< Entry victim_entry :=
< getCacheEntry(cache.cacheProbe(in_msg.addr));
< TBE victim_tbe := TBEs[cache.cacheProbe(in_msg.addr)];
---
> Addr victim := cache.cacheProbe(in_msg.addr);
> Entry victim_entry := getCacheEntry(victim);
> TBE victim_tbe := TBEs[victim];
374,375c374
< cache.cacheProbe(in_msg.addr),
< victim_entry, victim_tbe);
---
> victim, victim_entry, victim_tbe);
378,379c377
< cache.cacheProbe(in_msg.addr),
< victim_entry, victim_tbe);
---
> victim, victim_entry, victim_tbe);