int j;
  for (j=1; j<=10; ++j)
  {
    printf("%d ",j);
  }
  printf("\n");