for -> while