#include <stdio.h>
#include <string.h>
int main(void) {
double x;
unsigned char dbl[sizeof x]; /* real constant */
/* make x's format have a 1 bit on the "correct" place */
x = 32.000000000000004;
switch (dbl[0]) {
case sizeof *dbl
: puts("1"); break; /* real constant */ case 0: puts("0"); break; }
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdHJpbmcuaD4KCmludCBtYWluKHZvaWQpIHsKICBkb3VibGUgeDsKICB1bnNpZ25lZCBjaGFyIGRibFtzaXplb2YgeF07ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAvKiByZWFsIGNvbnN0YW50ICovCgogIC8qIG1ha2UgeCdzIGZvcm1hdCBoYXZlIGEgMSBiaXQgb24gdGhlICJjb3JyZWN0IiBwbGFjZSAqLwogIHggPSAzMi4wMDAwMDAwMDAwMDAwMDQ7CiAgbWVtY3B5KGRibCwgJngsIHNpemVvZiB4KTsKICBzd2l0Y2ggKGRibFswXSkgewogICAgY2FzZSBzaXplb2YgKmRibDogcHV0cygiMSIpOyBicmVhazsgICAgICAgICAgICAgICAgICAgIC8qIHJlYWwgY29uc3RhbnQgKi8KICAgIGNhc2UgMDogcHV0cygiMCIpOyBicmVhazsKICAgIGRlZmF1bHQ6IHB1dHMoIm90aGVyIik7CiAgfQogIHJldHVybiAwOwp9