97ad548bc0
saving a few bytes while the cycle count remains the same --- could actually be faster, depending on the cache, prefetch queue, etc.