Control-flow of while-loop