* may differ (e.g., it might be 32-bit, 64-bit,
* or 80-bit).
*/
- switch (float_type_check(0x4e93312d)) {
-
- case 0x461a5794:
- printf("FPTYPE1\n");
- break;
-
- default:
- printf("FPTYPE2\n");
- break;
- }
+ float_type_check(0x4e93312d);
return 0;
default: