@huonw Bah, there was a reason for this, which was first that I had a label on the original loop, and then the new version also did some work if `i >= total` beyond breaking, but you're right, in the current incarnation it can go back to the original `while` loop.