1  main()
       2  {
       3    double x,y=0.5;
       4    x=y/0.2;
       5    if(x!=x)
       6      abort();
       7    exit(0);
       8  }