Challenges
Accesses stored in circular queue.  How many records
needed for each address?
What happens when processor writes back data, current
scheme introduces false hits.
Does this scheme always work?  Some proofs would be
nice.