1  int
       2  main()
       3  {
       4      int i = 1;
       5      int j = 0;
       6  
       7      while (i != 1024 || j <= 0) {
       8          i *= 2;
       9          ++ j;
      10      }
      11  
      12      if (j != 10)
      13        abort ();
      14  
      15      exit (0);
      16  }