After checking: This micro-optimization gives no discernible benefit, so I dropped it.