This case is the guarantee that the loop runs regardless of break condition at start.