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