#include <float.h>
extern void link_failure (void);
int
main (void)
{
#if FLT_RADIX == 2 && FLT_MANT_DIG == 24
if (0x1.0000011p0f == 1)
link_failure ();
if (0x1.00000101p0f == 1)
link_failure ();
if (0x1.000001001p0f == 1)
link_failure ();
if (0x1.0000010001p0f == 1)
link_failure ();
if (0x1.00000100001p0f == 1)
link_failure ();
if (0x1.000001000001p0f == 1)
link_failure ();
if (0x1.0000010000001p0f == 1)
link_failure ();
if (0x1.00000100000001p0f == 1)
link_failure ();
if (0x1.000001000000001p0f == 1)
link_failure ();
if (0x1.0000010000000001p0f == 1)
link_failure ();
if (0x1.00000100000000001p0f == 1)
link_failure ();
if (0x1.000001000000000001p0f == 1)
link_failure ();
if (0x1.0000010000000000001p0f == 1)
link_failure ();
if (0x1.00000100000000000001p0f == 1)
link_failure ();
if (0x1.000001000000000000001p0f == 1)
link_failure ();
if (0x1.0000010000000000000001p0f == 1)
link_failure ();
if (0x1.00000100000000000000001p0f == 1)
link_failure ();
if (0x1.000001000000000000000001p0f == 1)
link_failure ();
if (0x1.0000010000000000000000001p0f == 1)
link_failure ();
if (0x1.00000100000000000000000001p0f == 1)
link_failure ();
if (0x1.000001000000000000000000001p0f == 1)
link_failure ();
if (0x1.0000010000000000000000000001p0f == 1)
link_failure ();
if (0x1.00000100000000000000000000001p0f == 1)
link_failure ();
if (0x1.000001000000000000000000000001p0f == 1)
link_failure ();
if (0x1.0000010000000000000000000000001p0f == 1)
link_failure ();
if (0x1.00000100000000000000000000000001p0f == 1)
link_failure ();
if (0x1.000001000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.0000010000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.00000100000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.000001000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.0000010000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.00000100000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.000001000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.0000010000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.00000100000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.000001000000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.0000010000000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.00000100000000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.000001000000000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.0000010000000000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.00000100000000000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.000001000000000000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.0000010000000000000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.00000100000000000000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.000001000000000000000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.0000010000000000000000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.00000100000000000000000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.000001000000000000000000000000000000000000000000000001p0f == 1)
link_failure ();
if (0x1.0000010000000000000000000000000000000000000000000000001p0f == 1)
link_failure ();
#endif
return 0;
}