I should also note that I’ve privately suggested adding a procedure to move the entry with a particular key to the rightmost position in the table. This would be a useful primitive for implementing a cache with least-recently-used eviction.

Daphne