1 int
main()2 main()
3 {
4   double x = 1.0;
5   double y = 2.0;
6 
7   if ((y > x--) != 1)
8     abort ();
9   exit (0);
10 }
11 
12 
13