1  	int main(void)
       2  	{
       3  		float reale = 1.0f;
       4  		float oneplus;
       5  		int i;
       6  	
       7  	 	if (sizeof (float) != 4)
       8  		  exit (0);
       9  
      10  		for (i = 0; ; i++)
      11  		{
      12  			oneplus = 1.0f + reale;
      13  			if (oneplus == 1.0f)
      14  				break;
      15  			reale=reale/2.0f;
      16  		}
      17  		/* Assumes ieee754 accurate arithmetic above.  */
      18  		if (i != 24)
      19  		  abort ();
      20  		else
      21  		  exit (0);
      22  	}
      23