for (i = 0; i < 10; ++i)
  printf("%d\n", i);