We avoid writing to "memory" just in order to check loop termination condition. While this looks like it makes really no difference, the profiler (valgrind's callgrind tool) tells it actually does. Also, wallclock time taken by time is consistently a bit lower than with the previous method. As it doesn't hurt anything (in terms of more complex code or so), I think the change is worth it.pull/208/head