Again: this `while (true)` doesn't do anything. The nested `while` does the stuff. So, this one can be removed at all.
Can be done on merge