+ printf(";;; Exception codes\n");
+ defconstant("+exception-flt-divide-by-zero+", EXCEPTION_FLT_DIVIDE_BY_ZERO);
+ defconstant("+exception-flt-invalid-operation+", EXCEPTION_FLT_INVALID_OPERATION);
+ defconstant("+exception-flt-underflow+", EXCEPTION_FLT_UNDERFLOW);
+ defconstant("+exception-flt-overflow+", EXCEPTION_FLT_OVERFLOW);
+ defconstant("+exception-flt-inexact-result+", EXCEPTION_FLT_INEXACT_RESULT);
+ defconstant("+exception-flt-denormal-operand+", EXCEPTION_FLT_DENORMAL_OPERAND);
+ defconstant("+exception-flt-stack-check+", EXCEPTION_FLT_STACK_CHECK);
+ defconstant("+exception-stack-overflow+", EXCEPTION_STACK_OVERFLOW);
+