/* Generated with C2C (Cedar To C)*/
/* Copyright (C) 1993 by Xerox Corporation.  All rights reserved. */
/* time: April 20, 1993 3:37:03 pm PDT */
/* C2C version: April 20, 1993 (sun4) */
/* ref-counting: off */
/* file: DRealSupportImpl, module: DRealSupportImpl */ 
/* switches: bcfhklnouw */ 
#include <cedar/InstallationSupport.h>
#include <cedar/CedarExtra.h>
#include <math.h>
static char versionStamp[] = "@(#)mob_version [3951692930,395690052] DRealSupportImpl";
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;} W3;
#define SOURCE(p, l) /* source p, l */
static double fc4 = 1.0;
#define BCK(idx, lim) ( ((unsigned) idx) >= ((unsigned) lim) ? (XR_RaiseBoundsFault()) : (idx) )
static double fc5 = 0.0;
static double fc6 = -2147483648.0;
static double fc7 = 2147483648.0;
static double fc9 = 0.5;
static double fc10 = 2147483647.0;
#define IOP2(op, x, y)  ( (word) ((x) op (y)) )
static double fc12 = 0.25;
static double fc13 = 2.0;
static double fc14 = 4.0;
static void NoName_Q2112();
static void DRealSupportImpl_P0();
static word Classify_P60();
static void Example_P120();
static word DRealToReal_P180();
static void IntToDReal_P240();
static void CardToDReal_P300();
static void RealToDReal_P360();
static word Fix_P420();
static word Round_P480();
static void Modf_P540();
static void FScale_P600();
static void Neg_P660();
static void Abs_P720();
static void Add_P780();
static void Sub_P840();
static void Mul_P900();
static void Div_P960();
static word Gt_P1020();
static word Ge_P1080();
static word Lt_P1140();
static word Le_P1200();
static word Eq_P1260();
static word Ne_P1320();
static void Min_P1380();
static void Max_P1440();
static void Pwr_P1500();
static void Floor_P1560();
static void Ceiling_P1620();
static struct {unsigned f; char r[16];} string1 = {851984, "\257\300\353\212\014\202\300\027\225\300\104\100\164\000\000"};
static struct {unsigned f; char r[16];} string2 = {851984, "\257\300\150\261\123\070\300\276\161\220\062\100\150\000\000"};
static struct {unsigned f; char r[16];} string3 = {851984, "\257\300\233\213\041\256\300\330\147\331\041\100\150\000\000"};
static struct {
   word f0[4]; word f4; word f5; 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[3]; 
   } globalframe = {
   {0}, (word) Ceiling_P1620, 0, (word) Floor_P1560, 
   0, (word) Pwr_P1500, 0, (word) Max_P1440, 
   0, (word) Min_P1380, 0, (word) Ne_P1320, 
   0, (word) Eq_P1260, 0, (word) Le_P1200, 
   0, (word) Lt_P1140, 0, (word) Ge_P1080, 
   0, (word) Gt_P1020, 0, (word) Div_P960, 
   0, (word) Mul_P900, 0, (word) Sub_P840, 
   0, (word) Add_P780, 0, (word) Abs_P720, 
   0, (word) Neg_P660, 0, (word) FScale_P600, 
   0, (word) Modf_P540, 0, (word) Round_P480, 
   0, (word) Fix_P420, 0, (word) RealToDReal_P360, 
   0, (word) CardToDReal_P300, 0, (word) IntToDReal_P240, 
   0, (word) DRealToReal_P180, 0, (word) Example_P120, 
   0, (word) Classify_P60, 0, (word) DRealSupportImpl_P0, 
   {0}
   };
#define DRealPtr(x) (*((double *) (x)))
extern word XR_FloatDFloatI (x) W2 *x; {
    float f = DRealPtr(x);
    return (*((ptr) &f));
    }
extern word XR_DRealClassifyI (x) W2 *x; {
    double d = DRealPtr(x);
    word w = fp_class(d);
    switch (w) {
        case fp_zero: return (0);
        case fp_subnormal: return (1);
        case fp_normal: return (2);
        case fp_infinity: return (3);
        case fp_quiet: return (4);
        case fp_signaling: return (5);
        };
    return (6);
    }
#define ex_subnormal_min(x) (DRealPtr(x)=min_subnormal())
#define ex_subnormal_max(x) (DRealPtr(x)=max_subnormal())
#define ex_normal_min(x) (DRealPtr(x)=min_normal())
#define ex_normal_max(x) (DRealPtr(x)=max_normal())
#define ex_infinity(x) (DRealPtr(x)=infinity())
#define ex_quiet(x) (DRealPtr(x)=quiet_nan(0))
#define ex_signaling(x) (DRealPtr(x)=signaling_nan(0))
extern word XR_FloatDRealI (x) W2 *x; {
    float f = DRealPtr(x);
    return (*((ptr) &f));
    }
extern void XR_DFloatInt (ret, x) W2 *ret; word x; {
    DRealPtr(ret) = ((int) x);
    }
extern void XR_DFloatCard (ret, x) W2 *ret; word x; {
    DRealPtr(ret) = ((unsigned) x);
    }
extern void XR_DFloatReal (ret, x) W2 *ret; word x; {
    float f = *((float *) &x);
    DRealPtr(ret) = f;
    }
extern void XR_DRealModfI (x, frac, ip) W2 *x, *frac; double *ip; {
    double d = DRealPtr(x);
    d = modf(d, ip);
    DRealPtr(frac) = d;
    }
extern void XR_DRealNegI (ret, x) W2 *ret, *x; {
    DRealPtr(ret) = - DRealPtr(x);
    }
extern void XR_DRealAbsI (ret, x) W2 *ret, *x; {
    DRealPtr(ret) = fabs(DRealPtr(x));
    }
extern void XR_DRealAddI (ret, x, y) W2 *ret, *x, *y; {
    DRealPtr(ret) = DRealPtr(x) + DRealPtr(y);
    }
extern void XR_DRealSubI (ret, x, y) W2 *ret, *x, *y; {
    DRealPtr(ret) = DRealPtr(x) - DRealPtr(y);
    }
extern void XR_DRealMulI (ret, x, y) W2 *ret, *x, *y; {
    DRealPtr(ret) = DRealPtr(x) * DRealPtr(y);
    }
extern void XR_DRealDivI (ret, x, y) W2 *ret, *x, *y; {
    DRealPtr(ret) = DRealPtr(x) / DRealPtr(y);
    }
extern word XR_DRealGtI (x, y) W2 *x, *y; {
    if ( DRealPtr(x) > DRealPtr(y) ) {return (1);};
    return (0);
    }
extern word XR_DRealGeI (x, y) W2 *x, *y; {
    if ( DRealPtr(x) >= DRealPtr(y) ) {return (1);};
    return (0);
    }
extern word XR_DRealLtI (x, y) W2 *x, *y; {
    if ( DRealPtr(x) < DRealPtr(y) ) {return (1);};
    return (0);
    }
extern word XR_DRealLeI (x, y) W2 *x, *y; {
    if ( DRealPtr(x) <= DRealPtr(y) ) {return (1);};
    return (0);
    }
extern word XR_DRealEqI (x, y) W2 *x, *y; {
    if ( DRealPtr(x) == DRealPtr(y) ) {return (1);};
    return (0);
    }
extern word XR_DRealNeI (x, y) W2 *x, *y; {
    if ( DRealPtr(x) != DRealPtr(y) ) {return (1);};
    return (0);
    }
extern void XR_DRealMinI (ret, x, y) W2 *ret, *x, *y; {
    if ( DRealPtr(x) <= DRealPtr(y) ) {*ret = *x; return;};
    *ret = *y;
    }
extern void XR_DRealMaxI (ret, x, y) W2 *ret, *x, *y; {
    if ( DRealPtr(x) >= DRealPtr(y) ) {*ret = *x; return;};
    *ret = *y;
    }
extern void XR_DRealPwrI (ret, x, y) W2 *ret, *x, *y; {
    DRealPtr(ret) = pow(DRealPtr(x), DRealPtr(y));
    }
extern void XR_DRealFloorI (ret, x) W2 *ret, *x; {
    DRealPtr(ret) = floor(DRealPtr(x));
    }
extern void XR_DRealCeilingI (ret, x) W2 *ret, *x; {
    DRealPtr(ret) = ceil(DRealPtr(x));
    }

static void NoName_Q2112()
   {
   register ptr gf_c0146 =  (ptr) &globalframe;
   word var_c13180;
   (void) XR_DeclareGlobalFrame((word) "DRealSupportImpl", &globalframe, (word) XR_GetTypeIndexS((word) (&string1)), (word) (
         ( (bPt) gf_c0146)+232)/* var_c12668 */ );
   var_c13180 = (word) XR_ImportInterface((word) "FloatingPointCommon", (word) XR_GetTypeIndexS((word) (&string2)), 5);
   (* (( (ptr) gf_c0146)+60)/* var_c12796 */  ) = var_c13180;
   var_c13180 = (word) XR_ExportInterface((word) "DRealSupport", (word) XR_GetTypeIndexS((word) (&string3)), 26);
   (* (( (ptr) gf_c0146)+61)/* var_c13212 */  ) = var_c13180;
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+224)/* var_c12636 */ , 67633153);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+216)/* var_c12604 */ , 134742274);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+208)/* var_c12572 */ , 67633665);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+200)/* var_c12540 */ , 134480641);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+192)/* var_c12508 */ , 134480897);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+184)/* var_c12476 */ , 134481153);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+176)/* var_c12444 */ , 67634689);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+168)/* var_c12412 */ , 67634945);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+152)/* var_c12348 */ , 135006210);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+144)/* var_c12316 */ , 134744321);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+136)/* var_c12284 */ , 134744577);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+128)/* var_c12252 */ , 135269122);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+120)/* var_c12220 */ , 135269378);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+112)/* var_c12188 */ , 135269634);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+104)/* var_c12156 */ , 135269890);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+96)/* var_c12124 */ , 68161282);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+88)/* var_c12092 */ , 68161538);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+80)/* var_c12060 */ , 68161794);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+72)/* var_c12028 */ , 68162050);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+64)/* var_c11996 */ , 68162306);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+56)/* var_c11964 */ , 68162562);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+48)/* var_c11932 */ , 135271682);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+40)/* var_c11900 */ , 135271938);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+32)/* var_c11868 */ , 135272194);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+24)/* var_c11836 */ , 134748161);
   (void) XR_ExportProcS(var_c13180, (word) (( (bPt) gf_c0146)+16)/* var_c11804 */ , 134748417);
   }

static void DRealSupportImpl_P0(formal_c036, formal_c032)
   word formal_c036;
   word formal_c032;
   {
   /* DRealSupportImpl: */ 
SOURCE(72, 11246)
SOURCE(11242, 76)
   {
      W2 dummy_v9900;
      word dummyPtr_v9928;
SOURCE(11244, 18)
      dummy_v9900 = (*  (W2Pt) &fc4 );
SOURCE(11264, 25)
      dummyPtr_v9928 = (word) &dummy_v9900;
SOURCE(11291, 27)
      {
         word var_c12700;
         var_c12700 = (word) XR_FloatDFloatI(dummyPtr_v9928);
         };
      };
   }

static word Classify_P60(d_v4088)
   W2 d_v4088;
   {
   word var_c4132;
   word w_v9972;
   /* Classify: */ 
SOURCE(501, 322)
SOURCE(567, 28)
   w_v9972 = (word) XR_DRealClassifyI((word) (&d_v4088));
SOURCE(626, 21)
   return(BCK(w_v9972, 7));
   }

static void Example_P120(formal_c045, c_v4192, min_v4220)
   word formal_c045;
   word c_v4192;
   word min_v4220;
   {
   W2 var_c4264;
   W2 d_v10016;
   /* Example: */ 
SOURCE(829, 1276)
SOURCE(913, 14)
   d_v10016 = (*  (W2Pt) &fc5 );
SOURCE(929, 1152)
   {
      word var_c12732;
      var_c12732 = c_v4192;
      switch (var_c12732) {
         case 1: 
SOURCE(956, 329)
            if ((0 != min_v4220)) {
SOURCE(968, 156)
SOURCE(1114, 8)
               (void) ex_subnormal_min((word) (&d_v10016));
               }
            else {
SOURCE(1131, 156)
SOURCE(1277, 8)
               (void) ex_subnormal_max((word) (&d_v10016));
               };
            break;
         case 2: 
SOURCE(1300, 311)
            if ((0 != min_v4220)) {
SOURCE(1312, 147)
SOURCE(1449, 8)
               (void) ex_normal_min((word) (&d_v10016));
               }
            else {
SOURCE(1466, 147)
SOURCE(1603, 8)
               (void) ex_normal_max((word) (&d_v10016));
               };
            break;
         case 3: 
SOURCE(1628, 141)
SOURCE(1759, 8)
            (void) ex_infinity((word) (&d_v10016));
            break;
         case 4: 
SOURCE(1781, 137)
SOURCE(1908, 8)
            (void) ex_quiet((word) (&d_v10016));
            break;
         case 5: 
SOURCE(1934, 149)
SOURCE(2073, 8)
            (void) ex_signaling((word) (&d_v10016));
            break;
         };
      };
SOURCE(2095, 10)
   var_c4264 = d_v10016;
   /* removed tail goto */ 
   (*  (W2Pt) formal_c045 ) = var_c4264;
   return;
   }

static word DRealToReal_P180(d_v4324)
   W2 d_v4324;
   {
   word var_c4368;
   /* DRealToReal: */ 
SOURCE(2111, 87)
SOURCE(2174, 24)
   return((word) XR_FloatDRealI((word) (&d_v4324)));
   }

static void IntToDReal_P240(formal_c050, i_v4428)
   word formal_c050;
   word i_v4428;
   {
   W2 ret_v4472;
   /* IntToDReal: */ 
SOURCE(2203, 84)
SOURCE(2269, 18)
   (void) XR_FloatInt((word) &ret_v4472, i_v4428);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c050 ) = ret_v4472;
   return;
   }

static void CardToDReal_P300(formal_c053, c_v4532)
   word formal_c053;
   word c_v4532;
   {
   W2 ret_v4576;
   /* CardToDReal: */ 
SOURCE(2292, 87)
SOURCE(2360, 19)
   (void) XR_DFloatCard((word) &ret_v4576, c_v4532);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c053 ) = ret_v4576;
   return;
   }

static void RealToDReal_P360(formal_c056, r_v4636)
   word formal_c056;
   word r_v4636;
   {
   W2 ret_v4680;
   /* RealToDReal: */ 
SOURCE(2384, 87)
SOURCE(2452, 19)
   (void) XR_DFloatReal((word) &ret_v4680, r_v4636);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c056 ) = ret_v4680;
   return;
   }

static word Fix_P420(x_v4740)
   W2 x_v4740;
   {
   register ptr gf_c13244 =  (ptr) &globalframe;
   word var_c4784;
   word ret_v10844 = 0;
   W2 frac_v10872;
   /* Fix: */ 
SOURCE(2476, 334)
SOURCE(2582, 17)
   frac_v10872 = (*  (W2Pt) &fc5 );
SOURCE(2601, 56)
   if (XR_DRealGtI(&fc6, &x_v4740)) {
SOURCE(2619, 38)
      {
         word var_c061 = 5;
         (void) XR_RaiseError((* (( (ptr) (* (( (ptr) gf_c13244)+60)/* var_c12796 */  ))+4) ), (word) &var_c061);
         };
      };
SOURCE(2659, 64)
   if (XR_DRealGeI(&x_v4740, &fc7)) {
SOURCE(2685, 38)
      {
         word var_c062 = 5;
         (void) XR_RaiseError((* (( (ptr) (* (( (ptr) gf_c13244)+60)/* var_c12796 */  ))+4) ), (word) &var_c062);
         };
      };
SOURCE(2725, 21)
   {
      W3 var_c12828;
      (void) Modf_P540((word) &var_c12828, x_v4740);
      frac_v10872 = (*  (W2Pt) (( (ptr) &var_c12828)+1) );
      ret_v10844 = var_c12828.f0;
      };
SOURCE(2748, 48)
   if (XR_DRealGtI(&fc5, &x_v4740)) {
SOURCE(2764, 32)
      if ( ! XR_DRealEqI(&frac_v10872, &fc5)) {
SOURCE(2783, 13)
         ret_v10844 = (ret_v10844 - 1);
         };
      };
SOURCE(2798, 12)
   return(ret_v10844);
   }

static word Round_P480(x_v4844)
   W2 x_v4844;
   {
   register ptr gf_c13276 =  (ptr) &globalframe;
   word var_c4888;
   word ret_v10972 = 0;
   W2 frac_v11000;
   /* Round: */ 
SOURCE(2815, 494)
SOURCE(2923, 17)
   frac_v11000 = (*  (W2Pt) &fc5 );
SOURCE(2942, 100)
   if (XR_DRealGeI(&fc6, &x_v4844)) {
SOURCE(2963, 39)
      {
         W2 x8;
         XR_DRealAddI(&x8, &x_v4844, &fc9);
         if (XR_DRealGeI(&x8, &fc6)) {
SOURCE(2988, 14)
            return(2147483648);
            };
         };
SOURCE(3004, 38)
      {
         word var_c069 = 5;
         (void) XR_RaiseError((* (( (ptr) (* (( (ptr) gf_c13276)+60)/* var_c12796 */  ))+4) ), (word) &var_c069);
         };
      };
SOURCE(3047, 97)
   if (XR_DRealGeI(&x_v4844, &fc10)) {
SOURCE(3067, 37)
      {
         W2 x11;
         XR_DRealSubI(&x11, &x_v4844, &fc9);
         if (XR_DRealGeI(&fc10, &x11)) {
SOURCE(3091, 13)
            return(2147483647);
            };
         };
SOURCE(3106, 38)
      {
         word var_c070 = 5;
         (void) XR_RaiseError((* (( (ptr) (* (( (ptr) gf_c13276)+60)/* var_c12796 */  ))+4) ), (word) &var_c070);
         };
      };
SOURCE(3149, 21)
   {
      W3 var_c12860;
      (void) Modf_P540((word) &var_c12860, x_v4844);
      frac_v11000 = (*  (W2Pt) (( (ptr) &var_c12860)+1) );
      ret_v10972 = var_c12860.f0;
      };
   if (XR_DRealGtI(&fc9, &frac_v11000)) {
SOURCE(3203, 13)
      ret_v10972 = (ret_v10972 - 1);
      }
   else {
      if (XR_DRealEqI(&frac_v11000, &fc9)) {
SOURCE(3232, 37)
         if (( (int)IOP2( % ,  (int)ret_v10972,  (int)2) !=  (int)0)) {
SOURCE(3256, 13)
            ret_v10972 = (ret_v10972 + 1);
            };
         }
      else {
SOURCE(3282, 13)
         ret_v10972 = (ret_v10972 + 1);
         };
      };
SOURCE(3297, 12)
   return(ret_v10972);
   }

static void Modf_P540(formal_c077, x_v4948)
   word formal_c077;
   W2 x_v4948;
   {
   word int_v4992;
   W2 frac_v5020;
   W2 di_v11072;
   /* Modf: */ 
SOURCE(3315, 404)
SOURCE(3683, 26)
   (void) XR_DRealModfI((word) &x_v4948, (word) &frac_v5020, (word) &di_v11072);
SOURCE(3711, 8)
   int_v4992 = XR_IntDIntI(&di_v11072);
   /* removed tail goto */ 
   (*  (ptr) formal_c077 ) = int_v4992;
   (*  (W2Pt) (( (ptr) formal_c077)+1) ) = frac_v5020;
   return;
   }

static void FScale_P600(formal_c087, a_v5080, scale_v5108)
   word formal_c087;
   W2 a_v5080;
   word scale_v5108;
   {
   W2 var_c5152;
   /* FScale: */ 
SOURCE(3724, 295)
SOURCE(3791, 228)
   {
      word var_c12892;
      var_c12892 = scale_v5108;
      switch (var_c12892) {
         case 4294967294: 
SOURCE(3815, 15)
            XR_DRealMulI(&var_c5152, &a_v5080, &fc12);
            /* removed tail goto */ 
            break;
         case 4294967295: 
SOURCE(3838, 14)
            XR_DRealMulI(&var_c5152, &a_v5080, &fc9);
            /* removed tail goto */ 
            break;
         case 0: 
SOURCE(3859, 10)
            var_c5152 = a_v5080;
            /* removed tail goto */ 
            break;
         case 1: 
SOURCE(3876, 14)
            XR_DRealMulI(&var_c5152, &a_v5080, &fc13);
            /* removed tail goto */ 
            break;
         case 2: 
SOURCE(3897, 14)
            XR_DRealMulI(&var_c5152, &a_v5080, &fc14);
            /* removed tail goto */ 
            break;
         default: 
SOURCE(3924, 97)
            {
               word half_v11244;
               word rem_v11272;
SOURCE(3926, 23)
               half_v11244 = IOP2( / ,  (int)scale_v5108,  (int)2);
SOURCE(3951, 25)
               rem_v11272 = (scale_v5108 - half_v11244);
SOURCE(3978, 41)
               {
                  W2 var_c12956;
                  {
                     W2 var_c085;
                     W2 var_c086;
                     (void) FScale_P600((word) &var_c085, (*  (W2Pt) &fc4 ), half_v11244);
                     (void) FScale_P600((word) &var_c086, a_v5080, rem_v11272);
                     XR_DRealMulI(&var_c12956, &var_c085, &var_c086);
                     };
                  var_c5152 = var_c12956;
                  /* removed tail goto */ 
                  };
               };
            break;
         };
      };
   (*  (W2Pt) formal_c087 ) = var_c5152;
   return;
   }

static void Neg_P660(formal_c090, d_v5212)
   word formal_c090;
   W2 d_v5212;
   {
   W2 ret_v5256;
   /* Neg: */ 
SOURCE(4027, 80)
SOURCE(4088, 19)
   (void) XR_DRealNegI((word) &ret_v5256, (word) &d_v5212);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c090 ) = ret_v5256;
   return;
   }

static void Abs_P720(formal_c093, d_v5316)
   word formal_c093;
   W2 d_v5316;
   {
   W2 ret_v5360;
   /* Abs: */ 
SOURCE(4112, 80)
SOURCE(4173, 19)
   (void) XR_DRealAbsI((word) &ret_v5360, (word) &d_v5316);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c093 ) = ret_v5360;
   return;
   }

static void Add_P780(formal_c097, x_v5420, y_v5448)
   word formal_c097;
   W2 x_v5420;
   W2 y_v5448;
   {
   W2 ret_v5492;
   /* Add: */ 
SOURCE(4197, 87)
SOURCE(4261, 23)
   (void) XR_DRealAddI((word) &ret_v5492, (word) &x_v5420, (word) &y_v5448);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c097 ) = ret_v5492;
   return;
   }

static void Sub_P840(formal_c0101, x_v5552, y_v5580)
   word formal_c0101;
   W2 x_v5552;
   W2 y_v5580;
   {
   W2 ret_v5624;
   /* Sub: */ 
SOURCE(4289, 87)
SOURCE(4353, 23)
   (void) XR_DRealSubI((word) &ret_v5624, (word) &x_v5552, (word) &y_v5580);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c0101 ) = ret_v5624;
   return;
   }

static void Mul_P900(formal_c0105, x_v5684, y_v5712)
   word formal_c0105;
   W2 x_v5684;
   W2 y_v5712;
   {
   W2 ret_v5756;
   /* Mul: */ 
SOURCE(4381, 87)
SOURCE(4445, 23)
   (void) XR_DRealMulI((word) &ret_v5756, (word) &x_v5684, (word) &y_v5712);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c0105 ) = ret_v5756;
   return;
   }

static void Div_P960(formal_c0109, x_v5816, y_v5844)
   word formal_c0109;
   W2 x_v5816;
   W2 y_v5844;
   {
   W2 ret_v5888;
   /* Div: */ 
SOURCE(4473, 87)
SOURCE(4537, 23)
   (void) XR_DRealDivI((word) &ret_v5888, (word) &x_v5816, (word) &y_v5844);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c0109 ) = ret_v5888;
   return;
   }

static word Gt_P1020(x_v5948, y_v5976)
   W2 x_v5948;
   W2 y_v5976;
   {
   word var_c6020;
   /* Gt: */ 
SOURCE(4565, 82)
SOURCE(4622, 25)
   return((word) XR_DRealGtI((word) &x_v5948, (word) &y_v5976));
   }

static word Ge_P1080(x_v6080, y_v6108)
   W2 x_v6080;
   W2 y_v6108;
   {
   word var_c6152;
   /* Ge: */ 
SOURCE(4652, 82)
SOURCE(4709, 25)
   return((word) XR_DRealGeI((word) &x_v6080, (word) &y_v6108));
   }

static word Lt_P1140(x_v6212, y_v6240)
   W2 x_v6212;
   W2 y_v6240;
   {
   word var_c6284;
   /* Lt: */ 
SOURCE(4739, 82)
SOURCE(4796, 25)
   return((word) XR_DRealLtI((word) &x_v6212, (word) &y_v6240));
   }

static word Le_P1200(x_v6344, y_v6372)
   W2 x_v6344;
   W2 y_v6372;
   {
   word var_c6416;
   /* Le: */ 
SOURCE(4826, 82)
SOURCE(4883, 25)
   return((word) XR_DRealLeI((word) &x_v6344, (word) &y_v6372));
   }

static word Eq_P1260(x_v6476, y_v6504)
   W2 x_v6476;
   W2 y_v6504;
   {
   word var_c6548;
   /* Eq: */ 
SOURCE(4913, 82)
SOURCE(4970, 25)
   return((word) XR_DRealEqI((word) &x_v6476, (word) &y_v6504));
   }

static word Ne_P1320(x_v6608, y_v6636)
   W2 x_v6608;
   W2 y_v6636;
   {
   word var_c6680;
   /* Ne: */ 
SOURCE(5000, 82)
SOURCE(5057, 25)
   return((word) XR_DRealNeI((word) &x_v6608, (word) &y_v6636));
   }

static void Min_P1380(formal_c0131, x_v6740, y_v6768)
   word formal_c0131;
   W2 x_v6740;
   W2 y_v6768;
   {
   W2 ret_v6812;
   /* Min: */ 
SOURCE(5087, 87)
SOURCE(5151, 23)
   (void) XR_DRealMinI((word) &ret_v6812, (word) &x_v6740, (word) &y_v6768);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c0131 ) = ret_v6812;
   return;
   }

static void Max_P1440(formal_c0135, x_v6872, y_v6900)
   word formal_c0135;
   W2 x_v6872;
   W2 y_v6900;
   {
   W2 ret_v6944;
   /* Max: */ 
SOURCE(5179, 87)
SOURCE(5243, 23)
   (void) XR_DRealMaxI((word) &ret_v6944, (word) &x_v6872, (word) &y_v6900);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c0135 ) = ret_v6944;
   return;
   }

static void Pwr_P1500(formal_c0139, x_v7004, y_v7032)
   word formal_c0139;
   W2 x_v7004;
   W2 y_v7032;
   {
   W2 ret_v7076;
   /* Pwr: */ 
SOURCE(5271, 87)
SOURCE(5335, 23)
   (void) XR_DRealPwrI((word) &ret_v7076, (word) &x_v7004, (word) &y_v7032);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c0139 ) = ret_v7076;
   return;
   }

static void Floor_P1560(formal_c0142, x_v7136)
   word formal_c0142;
   W2 x_v7136;
   {
   W2 ret_v7180;
   /* Floor: */ 
SOURCE(5363, 84)
SOURCE(5426, 21)
   (void) XR_DRealFloorI((word) &ret_v7180, (word) &x_v7136);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c0142 ) = ret_v7180;
   return;
   }

static void Ceiling_P1620(formal_c0145, x_v7240)
   word formal_c0145;
   W2 x_v7240;
   {
   W2 ret_v7284;
   /* Ceiling: */ 
SOURCE(5452, 88)
SOURCE(5517, 23)
   (void) XR_DRealCeilingI((word) &ret_v7284, (word) &x_v7240);
   /* removed tail goto */ 
   (*  (W2Pt) formal_c0145 ) = ret_v7284;
   return;
   }

/* file: DRealSupportImpl, module: DRealSupportImpl, compiled at: April 20, 1993 3:37:02 pm PDT */ 
extern void XR_install_DRealSupportImpl() {
   NoName_Q2112();
   }
extern void XR_run_DRealSupportImpl() { XR_Start(&globalframe); }