1 int
main()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 }
17