Reverse `while` loop