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