1  int
       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