/* Generated with C2C (Cedar To C)*/
/* Copyright (C) 1993 by Xerox Corporation.  All rights reserved. */
/* time: May 6, 1993 5:03:05 pm PDT */
/* C2C version: April 20, 1993 (sun4) */
/* ref-counting: off */
/* file: DSupportImpl, module: DSupportImpl */ 
/* switches: bcfhklnouw */ 
#include <cedar/InstallationSupport.h>
#include <cedar/CedarExtra.h>
static char versionStamp[] = "@(#)mob_version [1390064766,3091302834] DSupportImpl";
typedef unsigned word, *ptr;
typedef unsigned char byte, *bPt;
typedef unsigned short half, *hPt;
typedef struct {word f0, f1;} W2;
typedef W2 *W2Pt;
typedef struct {word f0, f1, f2, f3, f4, f5;} W6;
typedef word (*fPt)();
#define SOURCE(p, l) /* source p, l */
static void NoName_Q3204();
static void DSupportImpl_P0();
static void ConversionError_P60();
static void Overflow_P120();
extern void XR_D64SetTestMode();
extern void XR_DCardCard();
extern void XR_DCardInt();
extern void XR_DCardDIntI();
extern void XR_DIntCard();
extern void XR_DIntInt();
extern void XR_DIntDCardI();
extern word XR_CardDIntI();
extern word XR_CardDCardI();
extern word XR_IntDIntI();
extern word XR_IntDCardI();
extern void XR_DCardAddI();
extern void XR_DCardSubI();
extern void XR_DCardMulI();
static void Div2_P1020();
extern void XR_DCardDivI();
extern void XR_DCardModI();
extern void XR_DCardPwrI();
static void MixedPwr_P2856();
extern word XR_DCardGtI();
extern word XR_DCardGeI();
extern word XR_DEqI();
extern void XR_DCardMinI();
extern void XR_DCardMaxI();
static void XDIntNeg_P1620();
static void Neg64_P1680();
extern void XR_DIntNegI();
extern void XR_DIntAddI();
extern void XR_DIntSubI();
extern void XR_DIntMulI();
extern void XR_DIntDivI();
extern void XR_DIntModI();
extern void XR_DIntPwrI();
extern word XR_DIntGtI();
extern word XR_DIntGeI();
extern void XR_DIntAbsI();
extern void XR_DIntMinI();
extern void XR_DIntMaxI();
extern void XR_DFloatDCardI();
extern void XR_DFloatDIntI();
extern word XR_FloatDCardI();
extern word XR_FloatDIntI();
static struct {unsigned f; char r[16];} string1 = {851984, "\257\300\122\332\264\176\300\270\101\211\262\100\164\000\000"};
static struct {unsigned f; char r[16];} string2 = {851984, "\257\300\321\335\027\212\300\103\063\273\041\100\150\000\000"};
static struct {unsigned f; char r[16];} string3 = {851984, "\257\300\275\320\070\317\300\004\110\363\366\100\150\000\000"};
static struct {unsigned f; char r[16];} string4 = {851984, "\257\300\233\213\041\256\300\330\147\331\041\100\150\000\000"};
static struct {
   word f0[6]; word f6; word f7; word f8; 
   word f9; word f10; word f11; word f12; 
   word f13; word f14; word f15; word f16; 
   word f17; word f18; word f19; word f20; 
   word f21; word f22; word f23; word f24; 
   word f25; word f26; word f27; word f28; 
   word f29; word f30; word f31; word f32; 
   word f33; word f34; word f35; word f36; 
   word f37; word f38; word f39; word f40; 
   word f41; word f42; word f43; word f44; 
   word f45; word f46; word f47; word f48; 
   word f49; word f50; word f51; word f52; 
   word f53; word f54; word f55; word f56; 
   word f57; word f58; word f59; word f60; 
   word f61; word f62; word f63; word f64; 
   word f65; word f66; word f67; word f68; 
   word f69; word f70; word f71; word f72; 
   word f73; word f74; word f75; word f76; 
   word f77; word f78; word f79; word f80; 
   word f81; word f82; word f83; word f84; 
   word f85; word f86; word f87; word f88; 
   word f89; word f90; word f91; word f92; 
   word f93[4]; 
   } globalframe = {
   {0}, (word) XR_FloatDIntI, 0, (word) XR_FloatDCardI, 
   0, (word) XR_DFloatDIntI, 0, (word) XR_DFloatDCardI, 
   0, (word) XR_DIntMaxI, 0, (word) XR_DIntMinI, 
   0, (word) XR_DIntAbsI, 0, (word) XR_DIntGeI, 
   0, (word) XR_DIntGtI, 0, (word) XR_DIntPwrI, 
   0, (word) XR_DIntModI, 0, (word) XR_DIntDivI, 
   0, (word) XR_DIntMulI, 0, (word) XR_DIntSubI, 
   0, (word) XR_DIntAddI, 0, (word) XR_DIntNegI, 
   0, (word) Neg64_P1680, 0, (word) XDIntNeg_P1620, 
   0, (word) XR_DCardMaxI, 0, (word) XR_DCardMinI, 
   0, (word) XR_DEqI, 0, (word) XR_DCardGeI, 
   0, (word) XR_DCardGtI, 0, (word) XR_DCardPwrI, 
   0, (word) XR_DCardModI, 0, (word) XR_DCardDivI, 
   0, (word) Div2_P1020, 0, (word) XR_DCardMulI, 
   0, (word) XR_DCardSubI, 0, (word) XR_DCardAddI, 
   0, (word) XR_IntDCardI, 0, (word) XR_IntDIntI, 
   0, (word) XR_CardDCardI, 0, (word) XR_CardDIntI, 
   0, (word) XR_DIntDCardI, 0, (word) XR_DIntInt, 
   0, (word) XR_DIntCard, 0, (word) XR_DCardDIntI, 
   0, (word) XR_DCardInt, 0, (word) XR_DCardCard, 
   0, (word) XR_D64SetTestMode, 0, (word) Overflow_P120, 
   0, (word) ConversionError_P60, 0, (word) DSupportImpl_P0, 
   {0}
   };

static void NoName_Q3204()
   {
   register ptr gf_c0224 =  (ptr) &globalframe;
   word var_c14092;
   (void) XR_DeclareGlobalFrame((word) "DSupportImpl", &globalframe, (word) XR_GetTypeIndexS((word) (&string1)), (word) (( (bPt) gf_c0224)+368)
      /* var_c13356 */ );
   var_c14092 = (word) XR_ImportInterface((word) "RealSupport", (word) XR_GetTypeIndexS((word) (&string2)), 24);
   (* (( (ptr) gf_c0224)+96)/* var_c14060 */  ) = var_c14092;
   (void) XR_ImportProcS(var_c14092, 67371777);
   (void) XR_ImportProcS(var_c14092, 67634690);
   var_c14092 = (word) XR_ImportInterface((word) "RuntimeError", (word) XR_GetTypeIndexS((word) (&string3)), 27);
   (* (( (ptr) gf_c0224)+94)/* var_c13388 */  ) = var_c14092;
   var_c14092 = (word) XR_ImportInterface((word) "DRealSupport", (word) XR_GetTypeIndexS((word) (&string4)), 26);
   (* (( (ptr) gf_c0224)+95)/* var_c13964 */  ) = var_c14092;
   (void) XR_ImportProcS(var_c14092, 134480897);
   (void) XR_ImportProcS(var_c14092, 135006210);
   }

static void DSupportImpl_P0(formal_c052, formal_c051)
   word formal_c052;
   word formal_c051;
   {
   /* DSupportImpl: */ 
   }

static void ConversionError_P60()
   {
   register ptr gf_c14124 =  (ptr) &globalframe;
   /* ConversionError: */ 
SOURCE(1934, 85)
SOURCE(1989, 30)
   (void) XR_RaiseError((* (( (ptr) (* (( (ptr) gf_c14124)+94)/* var_c13388 */  ))+8) ), 0);
   }

static void Overflow_P120()
   {
   register ptr gf_c14156 =  (ptr) &globalframe;
   /* Overflow: */ 
SOURCE(2025, 70)
SOURCE(2047, 48)
   if ((0 != (* (( (ptr) gf_c14156)+4)/* overFlowTests64_v2664 */  ))) {
SOURCE(2071, 24)
      (void) (XR_RaiseSignal((word) (( (bPt) gf_c14156)+20)/* var_c11948 */ , 0, 0));
      };
   }

extern void XR_D64SetTestMode(c_v4976)
   word c_v4976;
   {
   register ptr gf_c14188 =  (ptr) &globalframe;
   /* D64SetTestMode: */ 
SOURCE(2101, 72)
SOURCE(2151, 22)
   (* (( (ptr) gf_c14188)+4)/* overFlowTests64_v2664 */  ) =  (unsigned) (c_v4976 != 0);
   }

extern void XR_DCardCard(res_v5036, c_v5064)
   word res_v5036;
   word c_v5064;
   {
   /* DCardCard: */ 
SOURCE(2178, 88)
SOURCE(2240, 12)
   (* (( (ptr) res_v5036)+1) ) = c_v5064;
SOURCE(2254, 12)
   (*  (ptr) res_v5036 ) = 0;
   }

extern void XR_DCardInt(res_v5124, i_v5152)
   word res_v5124;
   word i_v5152;
   {
   /* DCardInt: */ 
SOURCE(2272, 117)
SOURCE(2332, 29)
   if (( (int)i_v5152 <  (int)0)) {
SOURCE(2344, 17)
      (void) ConversionError_P60();
      };
SOURCE(2363, 12)
   (* (( (ptr) res_v5124)+1) ) = i_v5152;
SOURCE(2377, 12)
   (*  (ptr) res_v5124 ) = 0;
   }

extern void XR_DCardDIntI(res_v5212, dint_v5240)
   word res_v5212;
   word dint_v5240;
   {
   /* DCardDInt: */ 
SOURCE(2395, 108)
SOURCE(2452, 37)
   if (( (int)(*  (ptr) dint_v5240 ) <  (int)0)) {
SOURCE(2472, 17)
      (void) ConversionError_P60();
      };
SOURCE(2491, 12)
   (*  (W2Pt) res_v5212 ) = (*  (W2Pt) dint_v5240 );
   }

extern void XR_DIntCard(res_v5300, c_v5328)
   word res_v5300;
   word c_v5328;
   {
   /* DIntCard: */ 
SOURCE(2510, 87)
SOURCE(2571, 12)
   (*  (ptr) res_v5300 ) = 0;
SOURCE(2585, 12)
   (* (( (ptr) res_v5300)+1) ) = c_v5328;
   }

extern void XR_DIntInt(res_v5388, i_v5416)
   word res_v5388;
   word i_v5416;
   {
   /* DIntInt: */ 
SOURCE(2603, 117)
SOURCE(2662, 44)
   if (( (int)i_v5416 >=  (int)0)) {
SOURCE(2675, 18)
      (*  (ptr) res_v5388 ) = 0;
      }
   else {
SOURCE(2693, 13)
      (*  (ptr) res_v5388 ) =  (word) -1;
      };
SOURCE(2708, 12)
   (* (( (ptr) res_v5388)+1) ) = i_v5416;
   }

extern void XR_DIntDCardI(res_v5476, dcard_v5504)
   word res_v5476;
   word dcard_v5504;
   {
   /* DIntDCard: */ 
SOURCE(2726, 112)
SOURCE(2785, 38)
   if (( (int)(*  (ptr) dcard_v5504 ) <  (int)0)) {
SOURCE(2806, 17)
      (void) ConversionError_P60();
      };
SOURCE(2825, 13)
   (*  (W2Pt) res_v5476 ) = (*  (W2Pt) dcard_v5504 );
   }

extern word XR_CardDIntI(dint_v5564)
   word dint_v5564;
   {
   word var_c5608;
   /* CardDInt: */ 
SOURCE(2845, 125)
SOURCE(2913, 37)
   if (((*  (ptr) dint_v5564 ) != 0)) {
SOURCE(2933, 17)
      (void) ConversionError_P60();
      };
SOURCE(2952, 18)
   return((* (( (ptr) dint_v5564)+1) ));
   }

extern word XR_CardDCardI(dcard_v5668)
   word dcard_v5668;
   {
   word var_c5712;
   /* CardDCard: */ 
SOURCE(2976, 130)
SOURCE(3047, 38)
   if (((*  (ptr) dcard_v5668 ) != 0)) {
SOURCE(3068, 17)
      (void) ConversionError_P60();
      };
SOURCE(3087, 19)
   return((* (( (ptr) dcard_v5668)+1) ));
   }

extern word XR_IntDIntI(dint_v5772)
   word dint_v5772;
   {
   word var_c5816;
   /* IntDInt: */ 
SOURCE(3113, 234)
SOURCE(3179, 148)
   {
      word var_c13420;
      var_c13420 = (*  (ptr) dint_v5772 );
      if ((var_c13420 == 0)) {
SOURCE(3206, 37)
         if (( (int)(* (( (ptr) dint_v5772)+1) ) <  (int)0)) {
SOURCE(3226, 17)
            (void) ConversionError_P60();
            };
         }
      else {
         if ((var_c13420 ==  (word) -1)) {
SOURCE(3259, 38)
            if (( (int)(* (( (ptr) dint_v5772)+1) ) >=  (int)0)) {
SOURCE(3280, 17)
               (void) ConversionError_P60();
               };
            }
         else {
SOURCE(3310, 17)
            (void) ConversionError_P60();
            };
         };
      };
SOURCE(3329, 18)
   return((* (( (ptr) dint_v5772)+1) ));
   }

extern word XR_IntDCardI(dcard_v5876)
   word dcard_v5876;
   {
   word var_c5920;
   /* IntDCard: */ 
SOURCE(3353, 143)
SOURCE(3421, 54)
   if (((*  (ptr) dcard_v5876 ) != 0) || ( (int)(* (( (ptr) dcard_v5876)+1) ) <  (int)0)) {
SOURCE(3458, 17)
      (void) ConversionError_P60();
      };
SOURCE(3477, 19)
   return((* (( (ptr) dcard_v5876)+1) ));
   }

extern void XR_DCardAddI(res_v5980, a_v6008, b_v6036)
   word res_v5980;
   word a_v6008;
   word b_v6036;
   {
   word over_v9512;
   /* DCardAdd: */ 
SOURCE(3504, 281)
SOURCE(3560, 60)
   over_v9512 =  ( (( (word) -1 - (* (( (ptr) a_v6008)+1) )) < (* (( (ptr) b_v6036)+1) )) ? 1 : 0 ) ;
SOURCE(3622, 97)
   if ((( (word) -1 - (*  (ptr) a_v6008 )) <= (*  (ptr) b_v6036 ))) {
SOURCE(3662, 57)
      if ((( (word) -1 - (*  (ptr) a_v6008 )) < (*  (ptr) b_v6036 )) || (over_v9512 != 0)) {
SOURCE(3709, 10)
         (void) Overflow_P120();
         };
      };
SOURCE(3724, 26)
   (* (( (ptr) res_v5980)+1) ) = ((* (( (ptr) a_v6008)+1) ) + (* (( (ptr) b_v6036)+1) ));
SOURCE(3752, 33)
   (*  (ptr) res_v5980 ) = (((*  (ptr) a_v6008 ) + (*  (ptr) b_v6036 )) + over_v9512);
   }

extern void XR_DCardSubI(res_v6096, a_v6124, b_v6152)
   word res_v6096;
   word a_v6124;
   word b_v6152;
   {
   word over_v9556;
   /* DCardSub: */ 
SOURCE(3791, 236)
SOURCE(3847, 45)
   over_v9556 =  ( ((* (( (ptr) a_v6124)+1) ) < (* (( (ptr) b_v6152)+1) )) ? 1 : 0 ) ;
SOURCE(3894, 67)
   if (((*  (ptr) a_v6124 ) <= (*  (ptr) b_v6152 ))) {
SOURCE(3919, 42)
      if (((*  (ptr) a_v6124 ) < (*  (ptr) b_v6152 )) || (over_v9556 != 0)) {
SOURCE(3951, 10)
         (void) Overflow_P120();
         };
      };
SOURCE(3966, 26)
   (* (( (ptr) res_v6096)+1) ) = ((* (( (ptr) a_v6124)+1) ) - (* (( (ptr) b_v6152)+1) ));
SOURCE(3994, 33)
   (*  (ptr) res_v6096 ) = (((*  (ptr) a_v6124 ) - (*  (ptr) b_v6152 )) - over_v9556);
   }

extern void XR_DCardMulI(res_v6212, a_v6240, b_v6268)
   word res_v6212;
   word a_v6240;
   word b_v6268;
   {
   word r0_v9628;
   word r1_v9656;
   word r2_v9684;
   word r3_v9712;
   word carry3_v9740;
   word p1a_v9768;
   word p1b_v9796;
   word p2a_v9824;
   word p2b_v9852;
   word p2c_v9880;
   word p3a_v9908;
   word p3b_v9936;
   word p3c_v9964;
   word p3d_v9992;
   /* DCardMul: */ 
SOURCE(4033, 1088)
SOURCE(4205, 14)
   r0_v9628 = ( (unsigned) (* (( (hPt) a_v6240)+3) ) *  (unsigned) (* (( (hPt) b_v6268)+3) ));
SOURCE(4221, 15)
   p1a_v9768 = ( (unsigned) (* (( (hPt) a_v6240)+2) ) *  (unsigned) (* (( (hPt) b_v6268)+3) ));
SOURCE(4238, 15)
   p1b_v9796 = ( (unsigned) (* (( (hPt) a_v6240)+3) ) *  (unsigned) (* (( (hPt) b_v6268)+2) ));
SOURCE(4255, 46)
   if ((( (word) -1 - p1a_v9768) < p1b_v9796)) {
      carry3_v9740 = 1;
      }
   else {
      carry3_v9740 = 0;
      };
SOURCE(4303, 14)
   r1_v9656 = (p1a_v9768 + p1b_v9796);
SOURCE(4319, 15)
   p2a_v9824 = ( (unsigned) (* (( (hPt) a_v6240)+1) ) *  (unsigned) (* (( (hPt) b_v6268)+3) ));
SOURCE(4337, 15)
   p2b_v9852 = ( (unsigned) (* (( (hPt) a_v6240)+2) ) *  (unsigned) (* (( (hPt) b_v6268)+2) ));
SOURCE(4354, 15)
   p2c_v9880 = ( (unsigned) (* (( (hPt) a_v6240)+3) ) *  (unsigned) (* (( (hPt) b_v6268)+1) ));
SOURCE(4371, 39)
   if ((( (word) -1 - p2a_v9824) < p2b_v9852)) {
SOURCE(4400, 10)
      (void) Overflow_P120();
      };
SOURCE(4412, 14)
   r2_v9684 = (p2a_v9824 + p2b_v9852);
SOURCE(4428, 38)
   if ((( (word) -1 - r2_v9684) < p2c_v9880)) {
SOURCE(4456, 10)
      (void) Overflow_P120();
      };
SOURCE(4468, 13)
   r2_v9684 = (r2_v9684 + p2c_v9880);
SOURCE(4483, 24)
   p3a_v9908 = (( (unsigned) (*  (hPt) a_v6240 ) *  (unsigned) (* (( (hPt) b_v6268)+3) )) + carry3_v9740);
SOURCE(4526, 15)
   p3b_v9936 = ( (unsigned) (* (( (hPt) a_v6240)+1) ) *  (unsigned) (* (( (hPt) b_v6268)+2) ));
SOURCE(4543, 15)
   p3c_v9964 = ( (unsigned) (* (( (hPt) a_v6240)+2) ) *  (unsigned) (* (( (hPt) b_v6268)+1) ));
SOURCE(4560, 15)
   p3d_v9992 = ( (unsigned) (* (( (hPt) a_v6240)+3) ) *  (unsigned) (*  (hPt) b_v6268 ));
SOURCE(4577, 63)
   if ((((p3a_v9908 > 65536) || (p3b_v9936 > 65536)) || (p3c_v9964 > 65536)) || (p3d_v9992 > 65536)) {
SOURCE(4630, 10)
      (void) Overflow_P120();
      };
SOURCE(4642, 26)
   r3_v9712 = (((p3a_v9908 + p3b_v9936) + p3c_v9964) + p3d_v9992);
SOURCE(4673, 20)
   (* (( (hPt) res_v6212)+3) ) = ( (((unsigned)r0_v9628 << 16) >> 16) );
SOURCE(4695, 12)
   r0_v9628 = ((word) r0_v9628 >> 16);
SOURCE(4712, 44)
   if ((( (word) -1 - r1_v9656) < r0_v9628)) {
      carry3_v9740 = 1;
      }
   else {
      carry3_v9740 = 0;
      };
SOURCE(4758, 12)
   r1_v9656 = (r1_v9656 + r0_v9628);
SOURCE(4773, 20)
   (* (( (hPt) res_v6212)+2) ) = ( (((unsigned)r1_v9656 << 16) >> 16) );
SOURCE(4795, 12)
   r1_v9656 = ((word) r1_v9656 >> 16);
SOURCE(4812, 37)
   if ((( (word) -1 - r2_v9684) < r1_v9656)) {
SOURCE(4839, 10)
      (void) Overflow_P120();
      };
SOURCE(4851, 12)
   r2_v9684 = (r2_v9684 + r1_v9656);
SOURCE(4866, 20)
   (* (( (hPt) res_v6212)+1) ) = ( (((unsigned)r2_v9684 << 16) >> 16) );
SOURCE(4888, 12)
   r2_v9684 = ((word) r2_v9684 >> 16);
SOURCE(4905, 26)
   if ((r3_v9712 > 65536)) {
SOURCE(4921, 10)
      (void) Overflow_P120();
      };
SOURCE(4933, 21)
   r3_v9712 = ((r3_v9712 + r2_v9684) + carry3_v9740);
SOURCE(4981, 20)
   (*  (hPt) res_v6212 ) = ( (((unsigned)r3_v9712 << 16) >> 16) );
SOURCE(5003, 118)
   {
      word tc6;
      word tc7;
      word tc8;
      if ((r3_v9712 >= 65536)) { goto then05;};
      if (( (unsigned) (*  (hPt) a_v6240 ) > 0)) {
         tc6 =  (word) ((( (unsigned) (* (( (hPt) b_v6268)+2) ) +  (unsigned) (* (( (hPt) b_v6268)+1) )) +  (unsigned) (*  (hPt) b_v6268 )) > 0);
         }
      else {
         tc6 =  (word) 0;
         };
      if (tc6) { goto then05;};
      if (( (unsigned) (*  (hPt) b_v6268 ) > 0)) {
         tc7 =  (word) (( (unsigned) (* (( (hPt) a_v6240)+2) ) +  (unsigned) (* (( (hPt) a_v6240)+1) )) > 0);
         }
      else {
         tc7 =  (word) 0;
         };
      if (tc7) { goto then05;};
      if (( (unsigned) (* (( (hPt) a_v6240)+1) ) > 0)) {
         tc8 =  (word) ( (unsigned) (* (( (hPt) b_v6268)+1) ) > 0);
         }
      else {
         tc8 =  (word) 0;
         };
      if (tc8) {
         then05: ;
SOURCE(5111, 10)
         (void) Overflow_P120();
         };
      };
   }

static void Div2_P1020(formal_c0102, a_v6328)
   word formal_c0102;
   word a_v6328;
   {
   W2 res_v6372;
   /* Div2: */ 
SOURCE(5127, 138)
SOURCE(5187, 54)
   res_v6372.f1 = ((((*  (ptr) a_v6328 ) & 1) << 31) + ((* (( (ptr) a_v6328)+1) ) >> 1));
SOURCE(5243, 22)
   res_v6372.f0 = ((*  (ptr) a_v6328 ) >> 1);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c0102 ) = res_v6372;
   return;
   }

extern void XR_DCardDivI(res_v6536, a_v6564, b_v6592)
   word res_v6536;
   word a_v6564;
   word b_v6592;
   {
   register ptr gf_c14220 =  (ptr) &globalframe;
   /* DCardDiv: */ 
SOURCE(5366, 583)
SOURCE(5422, 527)
   if (XR_DCardGtI(b_v6592, a_v6564)) {
SOURCE(5442, 17)
      {
         W2 D9;
         XR_DCardCard(&D9, 0);
         (*  (W2Pt) res_v6536 ) = D9;
         };
      }
   else {
SOURCE(5459, 490)
      if ( ( ((*  (ptr) b_v6592 ) == 0) ? ((* (( (ptr) b_v6592)+1) ) <= 2) : 0 ) ) {
SOURCE(5492, 92)
         {
            word var_c13452;
            var_c13452 = (* (( (ptr) b_v6592)+1) );
            switch (var_c13452) {
               case 2: 
SOURCE(5516, 14)
                  (void) Div2_P1020((word) res_v6536, a_v6564);
                  break;
               case 1: 
SOURCE(5537, 9)
                  (*  (W2Pt) res_v6536 ) = (*  (W2Pt) a_v6564 );
                  break;
               case 0: 
SOURCE(5553, 31)
                  (void) (XR_RaiseSignal((* (( (ptr) (* (( (ptr) gf_c14220)+94)/* var_c13388 */  ))+27) ), 0, 0));
                  break;
               default: 
SOURCE(5597, 5)
                  (void) XR_RaiseUnnamedError();
                  break;
               };
            };
         }
      else {
SOURCE(5611, 340)
         {
            W2 result_v10036;
            W2 d_v10064;
            word count_v10092 = 1;
            W2 rest_v10120;
SOURCE(5613, 26)
            {
               W2 D10;
               XR_DCardCard(&D10, 0);
               result_v10036 = D10;
               };
SOURCE(5641, 15)
            d_v10064 = (*  (W2Pt) b_v6592 );
SOURCE(5674, 23)
            (void) Div2_P1020((word) &rest_v10120, a_v6564);
SOURCE(5699, 64)
            lab_L100003: ;
            if (XR_DCardGeI(&rest_v10120, &d_v10064)) {
               }
            else {
               goto lab_L100001;
               };
SOURCE(5724, 12)
            {
               W2 var_c13516;
               W2 res_v11900;
SOURCE(5338, 24)
               {
                  W2 D11;
                  XR_DCardAddI(&D11, &d_v10064, &d_v10064);
                  res_v11900 = D11;
                  };
SOURCE(5271, 91)
               var_c13516 = res_v11900;
               d_v10064 = var_c13516;
               };
SOURCE(5738, 25)
            count_v10092 = (count_v10092 + 1);
            goto lab_L100003;
            lab_L100001: ;
SOURCE(5765, 9)
            rest_v10120 = (*  (W2Pt) a_v6564 );
SOURCE(5776, 148)
            {
               register word i_v10164 = 0;
               register word noName_c13548;
               noName_c13548 = count_v10092;
               if ((i_v10164 >= noName_c13548)) {
                  goto lab_L100005;
                  };
               lab_L100008: ;
SOURCE(5804, 22)
               {
                  W2 var_c13580;
                  W2 res_v11852;
SOURCE(5338, 24)
                  {
                     W2 D12;
                     XR_DCardAddI(&D12, &result_v10036, &result_v10036);
                     res_v11852 = D12;
                     };
SOURCE(5271, 91)
                  var_c13580 = res_v11852;
                  result_v10036 = var_c13580;
                  };
SOURCE(5828, 81)
               if (XR_DCardGeI(&rest_v10120, &d_v10064)) {
SOURCE(5853, 27)
                  {
                     W2 D13;
                     XR_DCardSubI(&D13, &rest_v10120, &d_v10064);
                     rest_v10120 = D13;
                     };
SOURCE(5882, 27)
                  {
                     W2 D14;
                     W2 D15;
                     XR_DCardCard(&D15, 1);
                     XR_DCardAddI(&D14, &result_v10036, &D15);
                     result_v10036 = D14;
                     };
                  };
SOURCE(5912, 12)
               (void) Div2_P1020((word) &d_v10064, (word) &d_v10064);
               i_v10164 = (i_v10164 + 1);
               if ((i_v10164 < noName_c13548)) {
                  goto lab_L100008;
                  };
               lab_L100005: ;
               };
SOURCE(5936, 13)
            (*  (W2Pt) res_v6536 ) = result_v10036;
            };
         };
      };
   }

extern void XR_DCardModI(res_v6652, a_v6680, b_v6708)
   word res_v6652;
   word a_v6680;
   word b_v6708;
   {
   /* DCardMod: */ 
SOURCE(5958, 97)
SOURCE(6014, 41)
   {
      W2 D16;
      W2 D17;
      W2 D18;
      XR_DCardDivI(&D18, a_v6680, b_v6708);
      XR_DCardMulI(&D17, &D18, b_v6708);
      XR_DCardSubI(&D16, a_v6680, &D17);
      (*  (W2Pt) res_v6652 ) = D16;
      };
   }

extern void XR_DCardPwrI(res_v6768, a_v6796, b_v6824)
   word res_v6768;
   word a_v6796;
   word b_v6824;
   {
   W6 var_c14252;
   /* declaration of var_c13612 skipped */ 
   /* DCardPwr: */ 
SOURCE(6061, 463)
   {
      word tmpAddr19;
      tmpAddr19 = (word) (( (ptr) &var_c14252)+4)/* var_c13612 */ ;
      (*  (ptr) tmpAddr19 ) = ( ((word)  (fPt) MixedPwr_P2856) );
      (* (( (ptr) tmpAddr19) + 1) ) = 1;
      };
SOURCE(6344, 141)
   if (((*  (ptr) b_v6824 ) > 0)) {
SOURCE(6363, 114)
      if (((*  (ptr) a_v6796 ) > 0)) {
SOURCE(6381, 16)
         (void) Overflow_P120();
         }
      else {
SOURCE(6397, 80)
         {
            word var_c13644;
            var_c13644 = (* (( (ptr) a_v6796)+1) );
            if ((var_c13644 == 0)) {
SOURCE(6421, 11)
               {
                  W2 D20;
                  XR_DCardCard(&D20, 0);
                  (*  (W2Pt) res_v6768 ) = D20;
                  };
               }
            else {
               if ((var_c13644 == 1)) {
SOURCE(6439, 15)
                  (*  (W2Pt) res_v6768 ) = (*  (W2Pt) a_v6796 );
                  }
               else {
SOURCE(6467, 10)
                  (void) Overflow_P120();
                  };
               };
            };
         };
SOURCE(6479, 6)
      return;
      };
SOURCE(6490, 34)
   (void) MixedPwr_P2856((word) res_v6768, (*  (W2Pt) a_v6796 ), (* (( (ptr) b_v6824)+1) ), (word) (( (bPt) &var_c14252)+16)
      /* var_c13612 */ );
   }

static void MixedPwr_P2856(formal_c0137, x_v10284, y_v10312, formal_c14284)
   word formal_c0137;
   W2 x_v10284;
   word y_v10312;
   word formal_c14284;
   {
   W2 var_c10356;
   formal_c14284 = (formal_c14284 - 16);
   /* MixedPwr: */ 
SOURCE(6117, 221)
SOURCE(6191, 147)
   {
      word var_c13676;
      var_c13676 = y_v10312;
      if ((var_c13676 == 0)) {
SOURCE(6210, 10)
         {
            W2 D21;
            XR_DCardCard(&D21, 1);
            var_c10356 = D21;
            };
         /* removed tail goto */ 
         }
      else {
         if ((var_c13676 == 1)) {
SOURCE(6227, 10)
            var_c10356 = x_v10284;
            /* removed tail goto */ 
            }
         else {
SOURCE(6250, 88)
            if (((y_v10312 & 1) != 0)) {
SOURCE(6270, 39)
               {
                  W2 var_c13740;
                  {
                     W2 var_c0134;
                     {
                        W2 D22;
                        XR_DCardMulI(&D22, &x_v10284, &x_v10284);
                        (void) MixedPwr_P2856((word) &var_c0134, D22, ((word) y_v10312 >> 1), (word) (( (bPt) formal_c14284)+16));
                        };
                     {
                        W2 D23;
                        XR_DCardMulI(&D23, &x_v10284, &var_c0134);
                        var_c13740 = D23;
                        };
                     };
                  var_c10356 = var_c13740;
                  /* removed tail goto */ 
                  };
               }
            else {
SOURCE(6309, 29)
               {
                  W2 var_c13804;
                  {
                     W2 D24;
                     XR_DCardMulI(&D24, &x_v10284, &x_v10284);
                     (void) MixedPwr_P2856((word) &var_c13804, D24, ((word) y_v10312 >> 1), (word) (( (bPt) formal_c14284)+16));
                     };
                  var_c10356 = var_c13804;
                  /* removed tail goto */ 
                  };
               };
            };
         };
      };
   (*  (W2Pt) formal_c0137 ) = var_c10356;
   return;
   }

extern word XR_DCardGtI(a_v6884, b_v6912)
   word a_v6884;
   word b_v6912;
   {
   word var_c6956;
   /* DCardGt: */ 
SOURCE(6528, 181)
   if (((*  (ptr) a_v6884 ) > (*  (ptr) b_v6912 ))) {
SOURCE(6627, 13)
      return(1);
      }
   else {
      if (((*  (ptr) a_v6884 ) < (*  (ptr) b_v6912 ))) {
SOURCE(6659, 14)
         return(0);
         }
      else {
SOURCE(6686, 23)
         return( (unsigned) ((* (( (ptr) a_v6884)+1) ) > (* (( (ptr) b_v6912)+1) )));
         };
      };
   }

extern word XR_DCardGeI(a_v7016, b_v7044)
   word a_v7016;
   word b_v7044;
   {
   word var_c7088;
   /* DCardGe: */ 
SOURCE(6713, 182)
   if (((*  (ptr) a_v7016 ) > (*  (ptr) b_v7044 ))) {
SOURCE(6812, 13)
      return(1);
      }
   else {
      if (((*  (ptr) a_v7016 ) < (*  (ptr) b_v7044 ))) {
SOURCE(6844, 14)
         return(0);
         }
      else {
SOURCE(6871, 24)
         return( (unsigned) ((* (( (ptr) a_v7016)+1) ) >= (* (( (ptr) b_v7044)+1) )));
         };
      };
   }

extern word XR_DEqI(a_v7148, b_v7176)
   word a_v7148;
   word b_v7176;
   {
   word var_c7220;
   /* DEq: */ 
SOURCE(6899, 102)
SOURCE(6960, 41)
   {
      word tc25;
      if (((* (( (ptr) a_v7148)+1) ) == (* (( (ptr) b_v7176)+1) ))) {
         tc25 =  (word)  (unsigned) ((*  (ptr) a_v7148 ) == (*  (ptr) b_v7176 ));
         }
      else {
         tc25 =  (word)  (unsigned) 0;
         };
      return(tc25);
      };
   }

extern void XR_DCardMinI(res_v7280, a_v7308, b_v7336)
   word res_v7280;
   word a_v7308;
   word b_v7336;
   {
   /* DCardMin: */ 
SOURCE(7005, 103)
SOURCE(7061, 47)
   if ((0 != (word) XR_DCardGtI(a_v7308, b_v7336))) {
SOURCE(7083, 15)
      (*  (W2Pt) res_v7280 ) = (*  (W2Pt) b_v7336 );
      }
   else {
SOURCE(7098, 10)
      (*  (W2Pt) res_v7280 ) = (*  (W2Pt) a_v7308 );
      };
   }

extern void XR_DCardMaxI(res_v7396, a_v7424, b_v7452)
   word res_v7396;
   word a_v7424;
   word b_v7452;
   {
   /* DCardMax: */ 
SOURCE(7112, 103)
SOURCE(7168, 47)
   if ((0 != (word) XR_DCardGtI(a_v7424, b_v7452))) {
SOURCE(7190, 15)
      (*  (W2Pt) res_v7396 ) = (*  (W2Pt) a_v7424 );
      }
   else {
SOURCE(7205, 10)
      (*  (W2Pt) res_v7396 ) = (*  (W2Pt) b_v7452 );
      };
   }

static void XDIntNeg_P1620(res_v7512, a_v7540)
   word res_v7512;
   word a_v7540;
   {
   W2 n1_v10384;
   W2 p1_v10412;
   W2 t_v10440;
   /* XDIntNeg: */ 
SOURCE(7220, 183)
SOURCE(7273, 47)
   n1_v10384.f0 =  (word) -1;
   n1_v10384.f1 =  (word) -1;
SOURCE(7322, 25)
   p1_v10412.f0 = 0;
   p1_v10412.f1 = 1;
SOURCE(7361, 19)
   (void) XR_DIntSubI((word) &t_v10440, (word) &n1_v10384, a_v7540);
SOURCE(7382, 21)
   (void) XR_DIntSubI(res_v7512, (word) &t_v10440, (word) &p1_v10412);
   }

static void Neg64_P1680(res_v7600, n_v7628)
   word res_v7600;
   word n_v7628;
   {
   /* Neg64: */ 
SOURCE(7409, 219)
SOURCE(7459, 32)
   (* (( (ptr) res_v7600)+1) ) = ( (word) -1 - (* (( (ptr) n_v7628)+1) ));
SOURCE(7493, 32)
   (*  (ptr) res_v7600 ) = ( (word) -1 - (*  (ptr) n_v7628 ));
SOURCE(7527, 101)
   if (((* (( (ptr) res_v7600)+1) ) ==  (word) -1)) {
SOURCE(7559, 23)
      (*  (ptr) res_v7600 ) = ((*  (ptr) res_v7600 ) + 1);
SOURCE(7584, 12)
      (* (( (ptr) res_v7600)+1) ) = 0;
      }
   else {
SOURCE(7603, 25)
      (* (( (ptr) res_v7600)+1) ) = ((* (( (ptr) res_v7600)+1) ) + 1);
      };
   }

extern void XR_DIntNegI(res_v7792, a_v7820)
   word res_v7792;
   word a_v7820;
   {
   /* DIntNeg: */ 
SOURCE(7745, 100)
SOURCE(7797, 33)
   if ( ( ((* (( (ptr) a_v7820)+1) ) == 0) ? ( (int)(*  (ptr) a_v7820 ) ==  (int)2147483648) : 0 ) ) {
SOURCE(7820, 10)
      (void) Overflow_P120();
      };
SOURCE(7832, 13)
   (void) Neg64_P1680(res_v7792, a_v7820);
   }

extern void XR_DIntAddI(res_v7880, a_v7908, b_v7936)
   word res_v7880;
   word a_v7908;
   word b_v7936;
   {
   word over_v10484;
   word h_v10512;
   /* DIntAdd: */ 
SOURCE(7851, 320)
SOURCE(7906, 60)
   over_v10484 =  ( (( (word) -1 - (* (( (ptr) a_v7908)+1) )) < (* (( (ptr) b_v7936)+1) )) ? 1 : 0 ) ;
SOURCE(7968, 34)
   h_v10512 = (((*  (ptr) a_v7908 ) + (*  (ptr) b_v7936 )) + over_v10484);
SOURCE(8004, 124)
   if ( (  ( ( (int)h_v10512 <  (int)0) ? ( (int)(*  (ptr) a_v7908 ) >=  (int)0) : 0 )  ? ( (int)(*  (ptr) b_v7936 ) >=  (int)0) : 0 )  ||  (  ( ( (int)h_v10512 >=  (int)0) ? ( (int)(*  (ptr) a_v7908 ) <  (int)0) : 0 )  ? ( (int)(*  (ptr) b_v7936 ) <  (int)0) : 0 ) ) {
SOURCE(8118, 10)
      (void) Overflow_P120();
      };
SOURCE(8131, 26)
   (* (( (ptr) res_v7880)+1) ) = ((* (( (ptr) a_v7908)+1) ) + (* (( (ptr) b_v7936)+1) ));
SOURCE(8159, 12)
   (*  (ptr) res_v7880 ) = h_v10512;
   }

extern void XR_DIntSubI(res_v7996, a_v8024, b_v8052)
   word res_v7996;
   word a_v8024;
   word b_v8052;
   {
   word over_v10556;
   word h_v10584;
   /* DIntSub: */ 
SOURCE(8177, 305)
SOURCE(8232, 45)
   over_v10556 =  ( ((* (( (ptr) a_v8024)+1) ) < (* (( (ptr) b_v8052)+1) )) ? 1 : 0 ) ;
SOURCE(8279, 34)
   h_v10584 = (((*  (ptr) a_v8024 ) - (*  (ptr) b_v8052 )) - over_v10556);
SOURCE(8315, 124)
   if ( (  ( ( (int)(*  (ptr) a_v8024 ) <  (int)0) ? ( (int)h_v10584 >=  (int)0) : 0 )  ? ( (int)(*  (ptr) b_v8052 ) >=  (int)0) : 0 )  ||  (  ( ( (int)(*  (ptr) a_v8024 ) >=  (int)0) ? ( (int)h_v10584 <  (int)0) : 0 )  ? ( (int)(*  (ptr) b_v8052 ) <  (int)0) : 0 ) ) {
SOURCE(8429, 10)
      (void) Overflow_P120();
      };
SOURCE(8442, 26)
   (* (( (ptr) res_v7996)+1) ) = ((* (( (ptr) a_v8024)+1) ) - (* (( (ptr) b_v8052)+1) ));
SOURCE(8470, 12)
   (*  (ptr) res_v7996 ) = h_v10584;
   }

extern void XR_DIntMulI(res_v8112, a_v8140, b_v8168)
   word res_v8112;
   word a_v8140;
   word b_v8168;
   {
   W2 x_v10628;
   W2 y_v10656;
   word invert_v10684 = 0;
   /* DIntMul: */ 
SOURCE(8488, 323)
SOURCE(8580, 66)
   if (( (int)(*  (ptr) a_v8140 ) >=  (int)0)) {
SOURCE(8599, 13)
      x_v10628 = (*  (W2Pt) a_v8140 );
      }
   else {
SOURCE(8613, 12)
      (void) Neg64_P1680((word) &x_v10628, a_v8140);
SOURCE(8627, 19)
      invert_v10684 =  (unsigned) (0 == invert_v10684);
      };
SOURCE(8649, 66)
   if (( (int)(*  (ptr) b_v8168 ) >=  (int)0)) {
SOURCE(8668, 13)
      y_v10656 = (*  (W2Pt) b_v8168 );
      }
   else {
SOURCE(8682, 12)
      (void) Neg64_P1680((word) &y_v10656, b_v8168);
SOURCE(8696, 19)
      invert_v10684 =  (unsigned) (0 == invert_v10684);
      };
SOURCE(8718, 19)
   {
      W2 D26;
      XR_DCardMulI(&D26, &x_v10628, &y_v10656);
      x_v10628 = D26;
      };
SOURCE(8739, 27)
   if (( (int)x_v10628.f0 <  (int)0)) {
SOURCE(8756, 10)
      (void) Overflow_P120();
      };
SOURCE(8768, 43)
   if ((0 != invert_v10684)) {
SOURCE(8783, 20)
      (void) Neg64_P1680(res_v8112, (word) &x_v10628);
      }
   else {
SOURCE(8803, 8)
      (*  (W2Pt) res_v8112 ) = x_v10628;
      };
   }

extern void XR_DIntDivI(res_v8228, a_v8256, b_v8284)
   word res_v8228;
   word a_v8256;
   word b_v8284;
   {
   W2 x_v10728;
   W2 y_v10756;
   word invert_v10784 = 0;
   /* DIntDiv: */ 
SOURCE(8817, 325)
SOURCE(8909, 66)
   if (( (int)(*  (ptr) a_v8256 ) >=  (int)0)) {
SOURCE(8928, 13)
      x_v10728 = (*  (W2Pt) a_v8256 );
      }
   else {
SOURCE(8942, 12)
      (void) Neg64_P1680((word) &x_v10728, a_v8256);
SOURCE(8956, 19)
      invert_v10784 =  (unsigned) (0 == invert_v10784);
      };
SOURCE(8978, 66)
   if (( (int)(*  (ptr) b_v8284 ) >=  (int)0)) {
SOURCE(8997, 13)
      y_v10756 = (*  (W2Pt) b_v8284 );
      }
   else {
SOURCE(9011, 12)
      (void) Neg64_P1680((word) &y_v10756, b_v8284);
SOURCE(9025, 19)
      invert_v10784 =  (unsigned) (0 == invert_v10784);
      };
SOURCE(9047, 21)
   {
      W2 D27;
      XR_DCardDivI(&D27, &x_v10728, &y_v10756);
      x_v10728 = D27;
      };
SOURCE(9070, 27)
   if (( (int)x_v10728.f0 <  (int)0)) {
SOURCE(9087, 10)
      (void) Overflow_P120();
      };
SOURCE(9099, 43)
   if ((0 != invert_v10784)) {
SOURCE(9114, 20)
      (void) Neg64_P1680(res_v8228, (word) &x_v10728);
      }
   else {
SOURCE(9134, 8)
      (*  (W2Pt) res_v8228 ) = x_v10728;
      };
   }

extern void XR_DIntModI(res_v8344, a_v8372, b_v8400)
   word res_v8344;
   word a_v8372;
   word b_v8400;
   {
   /* DIntMod: */ 
SOURCE(9148, 472)
SOURCE(9203, 417)
   if (( (int)(*  (ptr) b_v8400 ) >=  (int)0)) {
SOURCE(9224, 174)
      if (( (int)(*  (ptr) a_v8372 ) >=  (int)0)) {
SOURCE(9244, 26)
         {
            W2 D28;
            XR_DCardModI(&D28, a_v8372, b_v8400);
            (*  (W2Pt) res_v8344 ) = D28;
            };
         }
      else {
SOURCE(9277, 121)
         {
            W2 m_v10828;
SOURCE(9291, 12)
            (void) Neg64_P1680((word) &m_v10828, a_v8372);
SOURCE(9305, 23)
            {
               W2 D29;
               XR_DCardModI(&D29, &m_v10828, b_v8400);
               m_v10828 = D29;
               };
SOURCE(9330, 68)
            if ( ( (m_v10828.f0 == 0) ? (m_v10828.f1 == 0) : 0 ) ) {
SOURCE(9360, 14)
               (*  (W2Pt) res_v8344 ) = m_v10828;
               }
            else {
SOURCE(9374, 24)
               {
                  W2 D30;
                  XR_DCardSubI(&D30, b_v8400, &m_v10828);
                  (*  (W2Pt) res_v8344 ) = D30;
                  };
               };
            };
         };
      }
   else {
SOURCE(9407, 215)
      {
         W2 bb_v10872;
         W2 m_v10900;
SOURCE(9426, 13)
         (void) Neg64_P1680((word) &bb_v10872, b_v8400);
SOURCE(9441, 179)
         if (( (int)(*  (ptr) a_v8372 ) >=  (int)0)) {
SOURCE(9461, 24)
            {
               W2 D31;
               XR_DCardModI(&D31, a_v8372, &bb_v10872);
               m_v10900 = D31;
               };
SOURCE(9487, 69)
            if ( ( (m_v10900.f0 == 0) ? (m_v10900.f1 == 0) : 0 ) ) {
SOURCE(9517, 14)
               (*  (W2Pt) res_v8344 ) = m_v10900;
               }
            else {
SOURCE(9531, 25)
               {
                  W2 D32;
                  XR_DCardSubI(&D32, &m_v10900, &bb_v10872);
                  (*  (W2Pt) res_v8344 ) = D32;
                  };
               };
            }
         else {
SOURCE(9565, 12)
            (void) Neg64_P1680((word) &m_v10900, a_v8372);
SOURCE(9579, 24)
            {
               W2 D33;
               XR_DCardModI(&D33, &m_v10900, &bb_v10872);
               m_v10900 = D33;
               };
SOURCE(9605, 15)
            (void) Neg64_P1680(res_v8344, (word) &m_v10900);
            };
         };
      };
   }

extern void XR_DIntPwrI(res_v8460, a_v8488, b_v8516)
   word res_v8460;
   word a_v8488;
   word b_v8516;
   {
   W2 x_v10944;
   /* DIntPwr: */ 
SOURCE(9628, 301)
SOURCE(9696, 27)
   if (( (int)(*  (ptr) b_v8516 ) <  (int)0)) {
SOURCE(9713, 10)
      (void) Overflow_P120();
      };
SOURCE(9725, 190)
   if (( (int)(*  (ptr) a_v8488 ) >=  (int)0)) {
SOURCE(9746, 22)
      {
         W2 D34;
         XR_DCardPwrI(&D34, a_v8488, b_v8516);
         x_v10944 = D34;
         };
SOURCE(9771, 28)
      if (( (int)x_v10944.f0 <  (int)0)) {
SOURCE(9788, 11)
         (void) Overflow_P120();
         };
      }
   else {
SOURCE(9808, 12)
      (void) Neg64_P1680((word) &x_v10944, a_v8488);
SOURCE(9823, 22)
      {
         W2 D35;
         XR_DCardPwrI(&D35, &x_v10944, b_v8516);
         x_v10944 = D35;
         };
SOURCE(9848, 27)
      if (( (int)x_v10944.f0 <  (int)0)) {
SOURCE(9865, 10)
         (void) Overflow_P120();
         };
SOURCE(9877, 38)
      if ((((* (( (ptr) b_v8516)+1) ) & 1) != 0)) {
SOURCE(9902, 13)
         (void) Neg64_P1680((word) &x_v10944, (word) &x_v10944);
         };
      };
SOURCE(9921, 8)
   (*  (W2Pt) res_v8460 ) = x_v10944;
   }

extern word XR_DIntGtI(a_v8576, b_v8604)
   word a_v8576;
   word b_v8604;
   {
   word var_c8648;
   /* DIntGt: */ 
SOURCE(9935, 216)
   if (( (int)(*  (ptr) a_v8576 ) >  (int)(*  (ptr) b_v8604 ))) {
SOURCE(10033, 13)
      return(1);
      }
   else {
      if (( (int)(*  (ptr) a_v8576 ) <  (int)(*  (ptr) b_v8604 ))) {
SOURCE(10065, 14)
         return(0);
         }
      else {
         if (( (int)(*  (ptr) a_v8576 ) <  (int)0)) {
SOURCE(10093, 22)
            return( (unsigned) ((* (( (ptr) a_v8576)+1) ) < (* (( (ptr) b_v8604)+1) )));
            }
         else {
SOURCE(10128, 23)
            return( (unsigned) ((* (( (ptr) a_v8576)+1) ) > (* (( (ptr) b_v8604)+1) )));
            };
         };
      };
   }

extern word XR_DIntGeI(a_v8708, b_v8736)
   word a_v8708;
   word b_v8736;
   {
   word var_c8780;
   /* DIntGe: */ 
SOURCE(10155, 218)
   if (( (int)(*  (ptr) a_v8708 ) >  (int)(*  (ptr) b_v8736 ))) {
SOURCE(10253, 13)
      return(1);
      }
   else {
      if (( (int)(*  (ptr) a_v8708 ) <  (int)(*  (ptr) b_v8736 ))) {
SOURCE(10285, 14)
         return(0);
         }
      else {
         if (( (int)(*  (ptr) a_v8708 ) <  (int)0)) {
SOURCE(10313, 23)
            return( (unsigned) ((* (( (ptr) a_v8708)+1) ) <= (* (( (ptr) b_v8736)+1) )));
            }
         else {
SOURCE(10349, 24)
            return( (unsigned) ((* (( (ptr) a_v8708)+1) ) >= (* (( (ptr) b_v8736)+1) )));
            };
         };
      };
   }

extern void XR_DIntAbsI(res_v8840, a_v8868)
   word res_v8840;
   word a_v8868;
   {
   /* DIntAbs: */ 
SOURCE(10377, 127)
SOURCE(10429, 75)
   if (( (int)(*  (ptr) a_v8868 ) >=  (int)0)) {
SOURCE(10448, 15)
      (*  (W2Pt) res_v8840 ) = (*  (W2Pt) a_v8868 );
      }
   else {
SOURCE(10463, 41)
      (void) Neg64_P1680(res_v8840, a_v8868);
      };
   }

extern void XR_DIntMinI(res_v8928, a_v8956, b_v8984)
   word res_v8928;
   word a_v8956;
   word b_v8984;
   {
   /* DIntMin: */ 
SOURCE(10508, 101)
SOURCE(10563, 46)
   if ((0 != (word) XR_DIntGtI(a_v8956, b_v8984))) {
SOURCE(10584, 15)
      (*  (W2Pt) res_v8928 ) = (*  (W2Pt) b_v8984 );
      }
   else {
SOURCE(10599, 10)
      (*  (W2Pt) res_v8928 ) = (*  (W2Pt) a_v8956 );
      };
   }

extern void XR_DIntMaxI(res_v9044, a_v9072, b_v9100)
   word res_v9044;
   word a_v9072;
   word b_v9100;
   {
   /* DIntMax: */ 
SOURCE(10613, 101)
SOURCE(10668, 46)
   if ((0 != (word) XR_DIntGtI(a_v9072, b_v9100))) {
SOURCE(10689, 15)
      (*  (W2Pt) res_v9044 ) = (*  (W2Pt) a_v9072 );
      }
   else {
SOURCE(10704, 10)
      (*  (W2Pt) res_v9044 ) = (*  (W2Pt) b_v9100 );
      };
   }

extern void XR_DFloatDCardI(res_v9160, a_v9188)
   word res_v9160;
   word a_v9188;
   {
   register ptr gf_c14316 =  (ptr) &globalframe;
   /* DFloatDCard: */ 
SOURCE(10719, 159)
SOURCE(10775, 103)
   {
      W2 var_c13900;
      {
         W2 var_c13932;
         W2 var_c0213;
         W2 var_c0232;
         W2 var_c0214;
         {
            word pd36;
            pd36 = (* (( (ptr) (* (( (ptr) gf_c14316)+95)/* var_c13964 */  ))+8) );
            (void) ( *( (fPt) ((*  (ptr) pd36 ))))((word) &var_c13932, (*  (ptr) a_v9188 ), pd36);
            };
         {
            word pd37;
            pd37 = (* (( (ptr) (* (( (ptr) gf_c14316)+95)/* var_c13964 */  ))+12) );
            (void) ( *( (fPt) ((*  (ptr) pd37 ))))((word) &var_c0213, var_c13932, 32, pd37);
            };
         var_c0232 = var_c0213;
         {
            word pd38;
            pd38 = (* (( (ptr) (* (( (ptr) gf_c14316)+95)/* var_c13964 */  ))+8) );
            (void) ( *( (fPt) ((*  (ptr) pd38 ))))((word) &var_c0214, (* (( (ptr) a_v9188)+1) ), pd38);
            };
         XR_DRealAddI(&var_c13900, &var_c0232, &var_c0214);
         };
      (*  (W2Pt) res_v9160 ) = var_c13900;
      };
   }

extern void XR_DFloatDIntI(res_v9248, a_v9276)
   word res_v9248;
   word a_v9276;
   {
   /* DFloatDInt: */ 
SOURCE(10882, 170)
SOURCE(10947, 105)
   if (( (int)(*  (ptr) a_v9276 ) >=  (int)0)) {
SOURCE(10965, 21)
      {
         W2 D39;
         XR_DFloatDCardI(&D39, (a_v9276));
         (*  (W2Pt) res_v9248 ) = D39;
         };
      }
   else {
SOURCE(10986, 66)
      {
         W2 aa_v10988;
SOURCE(11001, 13)
         (void) Neg64_P1680((word) &aa_v10988, a_v9276);
SOURCE(11016, 15)
         {
            W2 D40;
            XR_DFloatDCardI(&D40, (&aa_v10988));
            aa_v10988 = D40;
            };
SOURCE(11034, 18)
         XR_DRealNegI(&(* (W2Pt) (res_v9248)), &aa_v10988);
         };
      };
   }

extern word XR_FloatDCardI(dcard_v9336)
   word dcard_v9336;
   {
   register ptr gf_c14348 =  (ptr) &globalframe;
   word var_c9380;
   /* FloatDCard: */ 
SOURCE(11059, 174)
SOURCE(11128, 105)
   {
      word var_c0234;
      {
         word var_c14028;
         word var_c0233;
         {
            word pd41;
            pd41 = (* (( (ptr) (* (( (ptr) gf_c14348)+96)/* var_c14060 */  ))+7) );
            var_c14028 = (word) ( *( (fPt) ((*  (ptr) pd41 ))))((*  (ptr) (dcard_v9336) ), pd41);
            };
         {
            word pd42;
            pd42 = (* (( (ptr) (* (( (ptr) gf_c14348)+96)/* var_c14060 */  ))+10) );
            var_c0233 = (word) ( *( (fPt) ((*  (ptr) pd42 ))))(var_c14028, 32, pd42);
            };
         {
            word x43;
            word pd44;
            word x45;
            pd44 = (* (( (ptr) (* (( (ptr) gf_c14348)+96)/* var_c14060 */  ))+7) );
            *(float*)&var_c0234 = (
               x43 = var_c0233,  *(float*)&x43
               ) + (
               x45 = (word) ( *( (fPt) ((*  (ptr) pd44 ))))((* ((( (ptr) dcard_v9336)+1)) ), pd44),  *(float*)&x45
               );
            };
         };
      return(var_c0234);
      };
   }

extern word XR_FloatDIntI(dint_v9440)
   word dint_v9440;
   {
   word r_v9484;
   /* FloatDInt: */ 
SOURCE(11237, 162)
SOURCE(11307, 92)
   if (( (int)(*  (ptr) dint_v9440 ) >=  (int)0)) {
SOURCE(11328, 18)
      r_v9484 = XR_FloatDCardI(dint_v9440);
      }
   else {
SOURCE(11346, 53)
      {
         W2 aa_v11032;
SOURCE(11361, 16)
         (void) Neg64_P1680((word) &aa_v11032, dint_v9440);
SOURCE(11379, 10)
         r_v9484 = XR_FloatDCardI(&aa_v11032);
SOURCE(11392, 7)
         {
            word x46;
            *(float*)&r_v9484 =  - (
               x46 = r_v9484,  *(float*)&x46
               );
            };
         };
      };
SOURCE(11237, 162)
   return(r_v9484);
   }

/* file: DSupportImpl, module: DSupportImpl, compiled at: May 6, 1993 5:03:04 pm PDT */ 
extern void XR_install_DSupportImpl() {
   NoName_Q3204();
   }
extern void XR_run_DSupportImpl() { XR_Start(&globalframe); }