main(void)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 
24