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