printf ("control word is 0x%x but should be 0x%x.\n", cw, (_FPU_DEFAULT & ~_FPU_RESERVED));
printf ("control word is 0x%lx but should be 0x%lx.\n", (long int) cw, (long int) (_FPU_DEFAULT & ~_FPU_RESERVED));
main (void){#ifdef _FPU_GETCW/* Some architectures don't have _FPU_GETCW (e.g. Linux/Alpha).  */  fpu_control_t cw;  _FPU_GETCW (cw);  cw &= ~_FPU_RESERVED;  if (cw != (_FPU_DEFAULT & ~_FPU_RESERVED))    printf ("control word is 0x%x but should be 0x%x.\n",	    cw, (_FPU_DEFAULT & ~_FPU_RESERVED));  return cw != (_FPU_DEFAULT & ~_FPU_RESERVED);#else  return 0;#endif}