+#ifdef __linux
+#include <fpu_control.h>
+void __attribute__ ((constructor))
+ trapfpe () {
+ fpu_control_t cw = _FPU_DEFAULT & ~(_FPU_MASK_IM | _FPU_MASK_ZM |
+ _FPU_MASK_OM);
+ _FPU_SETCW(cw);
+}
+void MAIN__() {}
+#endif
void izrtoc_() {}
void igmess_() {}
void igloc2_() {}
void igpxmp_() {}
void izitoc_() {}
-#ifdef __linux
-void MAIN__() {}
-#endif