It would be great to run a sample code that would show how the cache regsiter works. I’ve made it(link). I implement this tests.
It would be interesting to see the implementation of property tests for this implementation. It would be great if in the next version of the book the author would add an implementation of the property of this interesting example.