Don't use AVERT unless the arena lock is held (it's not thread-safe in all varieties). Add design explaining this.