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