#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;
}