Avoid AVERs with side effects, as requested by RB in <https://info.ravenbrook.com/mail/2014/04/16/11-47-22/0/>