x = 0;
                  while (x < 10)
                     printf("%d ", x);