Re: [tz] Gratuitous optimization