#include <stdio.h>
 
int main (int argc, char **argv) {
    int i = 0;
 
    while (i < 10) {
        i++;
        printf("i=%d\n", i);
    }
 
    while (i < 10) {
     /* do nothing */
    }
 
    return 0;
}