PoolArena must be thread-safe, so add a comment.