On 1/8/2018 9:38 AM, Nico Williams wrote: > But it would then have to reload whatever they had contained before. > Eviction is still a side-effect. Eviction does not need to be a very informative side effect.