/* Generated with C2C (Cedar To C)*/
/* Copyright (C) 1992 by Xerox Corporation.  All rights reserved. */
/* time: February 7, 1992 11:40:27 am PST */
/* C2C version: October 16, 1990 (native) */
/* ref-counting: off */
/* file: SHSImpl, module: SHSImpl */ 
/* switches: bhklnouw */ 
#include <cedar/InstallationSupport.h>
#include <cedar/CedarExtra.h>
#define XRM_BITXOR(x, y) ((x) ^ (y))
#define XRM_BITLSHIFT(x, y) ((x) << (y))
#define XRM_BITRSHIFT(x, y) ((x) >> (y))
#define XRM_BITOR(x, y) ((x) | (y))
#define XRM_BITAND(x, y) ((x) & (y))
#define XRM_BITNOT(x) (~(x))
static char versionStamp[] = "@(#)mob_version [3449244369,3931438650] SHSImpl";
typedef unsigned word, *ptr;
typedef unsigned char byte, *bPt;
typedef unsigned short half, *hPt;
typedef struct {word f0, f1, f2, f3, f4, f5, f6, f7;} W8;
typedef struct {W8 f; W8 r;} W16;
typedef struct {W16 f; W16 r;} W32;
typedef struct {W32 f; W32 r;} W64;
typedef struct {W64 f; W16 r;} W80;
typedef struct {word f0, f1, f2, f3, f4;} W5;
typedef W5 *W5Pt;
typedef word (*fPt)();
#define SOURCE(p, l) /* source p, l */
static void NoName_Q1092();
static void SHSImpl_P0();
static word WholeMessage16_P60();
static void OneM_P180();
static word S5_P240();
static word S30_P300();
static word F0_P360();
static word F1_P420();
static word F2_P480();
static word Example1_P540();
static word Eq_P600();
static struct {unsigned f; char r[8];} string1 = {393224, "\205\210\242\000\004\241\000"};
static struct {unsigned f; char r[8];} string2 = {393224, "\205\210\242\000\017\241\000"};
static struct {unsigned f; char r[16];} string3 = {851984, "\257\300\315\227\112\321\300\352\124\376\072\100\164\000\000"};
static struct {
   word f0[166]; word f166; word f167; word f168; 
   word f169; word f170; word f171; word f172; 
   word f173; word f174; word f175; word f176; 
   word f177; word f178; word f179; word f180; 
   word f181; word f182; word f183; word f184; 
   word f185; 
   } globalframe = {
   {0}, (word) Eq_P600, 0, (word) Example1_P540, 
   0, (word) F2_P480, 0, (word) F1_P420, 
   0, (word) F0_P360, 0, (word) S30_P300, 
   0, (word) S5_P240, 0, (word) OneM_P180, 
   0, (word) WholeMessage16_P60, 0, (word) SHSImpl_P0, 
   0
   };

static void NoName_Q1092()
   {
   register ptr gf_c076 =  (ptr) &globalframe;
   (* (( (ptr) gf_c076)+164) ) = (word) XR_GetTypeIndexS((word) (&string1));
   (* (( (ptr) gf_c076)+165) ) = (word) XR_GetTypeIndexS((word) (&string2));
   (void) XR_DeclareGlobalFrame((word) "SHSImpl", &globalframe, (word) XR_GetTypeIndexS((word) (&string3)), (word) (( (bPt) gf_c076)+736)
      /* var_c6408 */ );
   }

static void SHSImpl_P0(formal_c018, formal_c014)
   word formal_c018;
   word formal_c014;
   {
   register ptr gf_c7464 =  (ptr) &globalframe;
   /* SHSImpl: */ 
SOURCE(22, 2291)
SOURCE(2029, 284)
   {
      register word i_v4016 = 0;
      lab_L100003: ;
SOURCE(2058, 112)
      {
         word var_c6440;
         var_c6440 = i_v4016;
         if ((var_c6440 <= 19)) {
            (* ((( (ptr) gf_c7464)+4)/* F_v2664 */ +i_v4016) ) = XR_CheckProc((word) (( (bPt) gf_c7464)+696)/* var_c6248 */ );
            goto endif04;
            };
         if (((var_c6440 - 20) <= 19)) {
            (* ((( (ptr) gf_c7464)+4)/* F_v2664 */ +i_v4016) ) = XR_CheckProc((word) (( (bPt) gf_c7464)+688)/* var_c6216 */ );
            goto endif04;
            };
         if (((var_c6440 - 40) <= 19)) {
            (* ((( (ptr) gf_c7464)+4)/* F_v2664 */ +i_v4016) ) = XR_CheckProc((word) (( (bPt) gf_c7464)+680)/* var_c6184 */ );
            goto endif04;
            };
         if (((var_c6440 - 60) <= 19)) {
            (* ((( (ptr) gf_c7464)+4)/* F_v2664 */ +i_v4016) ) = XR_CheckProc((word) (( (bPt) gf_c7464)+688)/* var_c6216 */ );
            goto endif04;
            };
         (* ((( (ptr) gf_c7464)+4)/* F_v2664 */ +i_v4016) ) = XR_CheckProc(
            XR_RaiseUnnamedError(), 0
            );
         goto endif04;
         endif04: ;
         };
SOURCE(2172, 141)
      {
         word var_c6472;
         var_c6472 = i_v4016;
         if ((var_c6472 <= 19)) {
            (* ((( (ptr) gf_c7464)+84)/* K_v2692 */ +i_v4016) ) = 1518500249;
            goto endif05;
            };
         if (((var_c6472 - 20) <= 19)) {
            (* ((( (ptr) gf_c7464)+84)/* K_v2692 */ +i_v4016) ) = 1859775393;
            goto endif05;
            };
         if (((var_c6472 - 40) <= 19)) {
            (* ((( (ptr) gf_c7464)+84)/* K_v2692 */ +i_v4016) ) = 2400959708;
            goto endif05;
            };
         if (((var_c6472 - 60) <= 19)) {
            (* ((( (ptr) gf_c7464)+84)/* K_v2692 */ +i_v4016) ) = 3395469782;
            goto endif05;
            };
         (* ((( (ptr) gf_c7464)+84)/* K_v2692 */ +i_v4016) ) = (
            XR_RaiseUnnamedError(), 0
            );
         goto endif05;
         endif05: ;
         };
      if ((i_v4016 >= 79)) {
         goto lab_L100000;
         };
      i_v4016 = (i_v4016 + 1);
      goto lab_L100003;
      lab_L100000: ;
      };
   }

static word WholeMessage16_P60(m_v2996)
   word m_v2996;
   {
   register ptr gf_c7496 =  (ptr) &globalframe;
   word var_c3040;
   word h_v4080;
   /* WholeMessage16: */ 
SOURCE(69, 176)
SOURCE(131, 91)
   h_v4080 = XR_NewObject(20, (* (( (ptr) gf_c7496)+164) ));
   (*  (ptr) h_v4080 ) = 1732584193;
   (* (( (ptr) h_v4080)+1) ) = 4023233417;
   (* (( (ptr) h_v4080)+2) ) = 2562383102;
   (* (( (ptr) h_v4080)+3) ) = 271733878;
   (* (( (ptr) h_v4080)+4) ) = 3285377520;
SOURCE(224, 10)
   (void) OneM_P180(m_v2996, h_v4080);
SOURCE(236, 9)
   return(h_v4080);
   }

static void OneM_P180(m_v3364, h_v3392)
   word m_v3364;
   word h_v3392;
   {
   register ptr gf_c7528 =  (ptr) &globalframe;
   W80 w_v4124;
   word temp_v4152;
   W5 A_v4180;
   /* OneM: */ 
SOURCE(545, 441)
SOURCE(621, 20)
   A_v4180 = (*  (W5Pt) h_v3392 );
SOURCE(643, 36)
   {
      register word i_v4224 = 0;
      if (( (int)i_v4224 >  (int)15)) {
         goto lab_L100004;
         };
      lab_L100007: ;
SOURCE(668, 11)
      (* (( (ptr) &w_v4124)+i_v4224) ) = (* (( (ptr) m_v3364)+i_v4224) );
      if (( (int)i_v4224 >=  (int)15)) {
         goto lab_L100004;
         };
      i_v4224 = (i_v4224 + 1);
      goto lab_L100007;
      lab_L100004: ;
      };
SOURCE(690, 80)
   {
      register word t_v4268 = 16;
      if (( (int)t_v4268 >  (int)79)) {
         goto lab_L100008;
         };
      lab_L100011: ;
SOURCE(716, 54)
      {
         word var_c6536;
         {
            word var_c6568;
            word x_v5892;
            word y_v5920;
            x_v5892 = (* (( (ptr) &w_v4124)+(t_v4268 - 3)) );
            {
               word x_v5968;
               word y_v5996;
               x_v5968 = (* (( (ptr) &w_v4124)+(t_v4268 - 8)) );
               {
                  word x_v6044;
                  word y_v6072;
                  x_v6044 = (* (( (ptr) &w_v4124)+(t_v4268 - 14)) );
                  y_v6072 = (* (( (ptr) &w_v4124)+(t_v4268 - 16)) );
SOURCE(300, 27)
                  y_v5996 = (word) XRM_BITXOR(x_v6044, y_v6072);
                  };
SOURCE(300, 27)
               y_v5920 = (word) XRM_BITXOR(x_v5968, y_v5996);
               };
SOURCE(300, 27)
            var_c6568 = (word) XRM_BITXOR(x_v5892, y_v5920);
            var_c6536 = var_c6568;
            };
         (* (( (ptr) &w_v4124)+t_v4268) ) = var_c6536;
         };
      if (( (int)t_v4268 >=  (int)79)) {
         goto lab_L100008;
         };
      t_v4268 = (t_v4268 + 1);
      goto lab_L100011;
      lab_L100008: ;
      };
SOURCE(781, 154)
   {
      register word t_v4312 = 0;
      if (( (int)t_v4312 >  (int)79)) {
         goto lab_L100015;
         };
      lab_L100018: ;
SOURCE(806, 59)
      {
         word pd6;
         pd6 = (* ((( (ptr) gf_c7528)+4)/* F_v2664 */ +t_v4312) );
         temp_v4152 = (((((word) S5_P240(A_v4180.f0) + (word) ( *( (fPt) ((*  (ptr) pd6 ))))(A_v4180.f1, A_v4180.f2, A_v4180.f3, pd6)
         ) + A_v4180.f4) + (* (( (ptr) &w_v4124)+t_v4312) )) + (* ((( (ptr) gf_c7528)+84)/* K_v2692 */ +t_v4312) ));
         };
SOURCE(867, 11)
      A_v4180.f4 = A_v4180.f3;
SOURCE(880, 11)
      A_v4180.f3 = A_v4180.f2;
SOURCE(893, 16)
      {
         word var_c6760;
         var_c6760 = (word) S30_P300(A_v4180.f1);
         A_v4180.f2 = var_c6760;
         };
SOURCE(911, 11)
      A_v4180.f1 = A_v4180.f0;
SOURCE(924, 11)
      A_v4180.f0 = temp_v4152;
      if (( (int)t_v4312 >=  (int)79)) {
         goto lab_L100015;
         };
      t_v4312 = (t_v4312 + 1);
      goto lab_L100018;
      lab_L100015: ;
      };
SOURCE(946, 40)
   {
      register word i_v4356 = 0;
      if (( (int)i_v4356 >  (int)4)) {
         goto lab_L100019;
         };
      lab_L100022: ;
SOURCE(970, 16)
      (* (( (ptr) h_v3392)+i_v4356) ) = ((* (( (ptr) h_v3392)+i_v4356) ) + (* (( (ptr) &A_v4180)+i_v4356) ));
      if (( (int)i_v4356 >=  (int)4)) {
         goto lab_L100019;
         };
      i_v4356 = (i_v4356 + 1);
      goto lab_L100022;
      lab_L100019: ;
      };
   }

static word S5_P240(x_v3488)
   word x_v3488;
   {
   word var_c3532;
   /* S5: */ 
SOURCE(1048, 109)
SOURCE(1084, 73)
   {
      word var_c6824;
      word var_c6856;
      var_c6824 = (word) XRM_BITLSHIFT(x_v3488, 5);
      var_c6856 = (word) XRM_BITRSHIFT(x_v3488, 27);
      return((word) XRM_BITOR(var_c6824, var_c6856));
      };
   }

static word S30_P300(x_v3592)
   word x_v3592;
   {
   word var_c3636;
   /* S30: */ 
SOURCE(1162, 112)
SOURCE(1199, 75)
   {
      word var_c6920;
      word var_c6952;
      var_c6920 = (word) XRM_BITLSHIFT(x_v3592, 30);
      var_c6952 = (word) XRM_BITRSHIFT(x_v3592, 2);
      return((word) XRM_BITOR(var_c6920, var_c6952));
      };
   }

static word F0_P360(x_v4564, y_v4592, z_v4620)
   word x_v4564;
   word y_v4592;
   word z_v4620;
   {
   word var_c4664;
   /* F0: */ 
SOURCE(1336, 98)
SOURCE(1354, 80)
   {
      word var_c7016;
      word var_c7048;
      word var_c7080;
      var_c7016 = (word) XRM_BITAND(x_v4564, y_v4592);
      var_c7080 = (word) XRM_BITNOT(x_v4564);
      var_c7048 = (word) XRM_BITAND(var_c7080, z_v4620);
      return((word) XRM_BITOR(var_c7016, var_c7048));
      };
   }

static word F1_P420(x_v4724, y_v4752, z_v4780)
   word x_v4724;
   word y_v4752;
   word z_v4780;
   {
   word var_c4824;
   /* F1: */ 
SOURCE(1439, 69)
SOURCE(1457, 51)
   {
      word var_c7144;
      var_c7144 = (word) XRM_BITXOR(y_v4752, z_v4780);
      return((word) XRM_BITXOR(x_v4724, var_c7144));
      };
   }

static word F2_P480(x_v4884, y_v4912, z_v4940)
   word x_v4884;
   word y_v4912;
   word z_v4940;
   {
   word var_c4984;
   /* F2: */ 
SOURCE(1514, 117)
SOURCE(1532, 99)
   {
      word var_c7208;
      word var_c7240;
      word var_c7272;
      word var_c7304;
      var_c7208 = (word) XRM_BITAND(x_v4884, y_v4912);
      var_c7272 = (word) XRM_BITAND(x_v4884, z_v4940);
      var_c7304 = (word) XRM_BITAND(y_v4912, z_v4940);
      var_c7240 = (word) XRM_BITOR(var_c7272, var_c7304);
      return((word) XRM_BITOR(var_c7208, var_c7240));
      };
   }

static word Example1_P540()
   {
   register ptr gf_c7560 =  (ptr) &globalframe;
   word var_c3856;
   word m_v4400;
   word ans_v4428;
   /* Example1: */ 
SOURCE(1637, 255)
SOURCE(1674, 47)
   m_v4400 = XR_NewObject(64, (* (( (ptr) gf_c7560)+165) ));
SOURCE(1723, 93)
   ans_v4428 = XR_NewObject(20, (* (( (ptr) gf_c7560)+164) ));
   (*  (ptr) ans_v4428 ) = 23378089;
   (* (( (ptr) ans_v4428)+1) ) = 348990046;
   (* (( (ptr) ans_v4428)+2) ) = 1959065599;
   (* (( (ptr) ans_v4428)+3) ) = 137121175;
   (* (( (ptr) ans_v4428)+4) ) = 4058904704;
SOURCE(1818, 16)
   (*  (ptr) m_v4400 ) = 1633837952;
SOURCE(1836, 17)
   (* (( (ptr) m_v4400)+15) ) = 24;
SOURCE(1855, 37)
   {
      word var_c7432;
      var_c7432 = (word) WholeMessage16_P60(m_v4400);
      return((word) Eq_P600(var_c7432, ans_v4428));
      };
   }

static word Eq_P600(d1_v3916, d2_v3944)
   word d1_v3916;
   word d2_v3944;
   {
   word var_c3988;
   /* Eq: */ 
SOURCE(1897, 127)
SOURCE(1945, 65)
   {
      register word i_v4472 = 0;
      if (( (int)i_v4472 >  (int)4)) {
         goto lab_L100023;
         };
      lab_L100026: ;
SOURCE(1969, 41)
      if (((* (( (ptr) d1_v3916)+i_v4472) ) != (* (( (ptr) d2_v3944)+i_v4472) ))) {
SOURCE(1989, 21)
         return(0);
         };
      if (( (int)i_v4472 >=  (int)4)) {
         goto lab_L100023;
         };
      i_v4472 = (i_v4472 + 1);
      goto lab_L100026;
      lab_L100023: ;
      };
SOURCE(2012, 12)
   return(1);
   }

/* file: SHSImpl, module: SHSImpl, compiled at: February 7, 1992 11:40:27 am PST */ 
extern void XR_install_SHSImpl() {
   NoName_Q1092();
   }
extern void XR_run_SHSImpl() { XR_Start(&globalframe); }