I haven't dug into this in detail, but On first glance this looks like a "micro benchmark", meaning that the runtime is likely changing the code that's being ex

I haven't dug into this in detail, but On first glance this looks like a "micro benchmark", meaning that the runtime is likely changing the code that's being executed. (Edit: The while loop is probably being unrolled, for example.)