text: /**********************************************************************/
  /*   ____  ____                                                       */
  /*  /   /\/   /                                                       */
  /* /___/  \  /                                                        */
  /* \   \   \/                                                       */
  /*  \   \        Copyright (c) 2003-2009 Xilinx, Inc.                */
  /*  /   /          All Right Reserved.                                 */
  /* /---/   /\                                                         */
  /* \   \  /  \                                                      */
  /*  \___\/\___\                                                    */
  /***********************************************************************/
  
  /* This file is designed for use with ISim build 0xc3576ebc */
  
  #define XSI_HIDE_SYMBOL_SPEC true
  #include "xsi.h"
  #include <memory.h>
  #ifdef __GNUC__
  #include <stdlib.h>
  #else
  #include <malloc.h>
  #define alloca _alloca
  #endif
  static const char *ng0 = "v:/hipsBuilds/P_hips_v05.0/rst/hips/gtxe1/B_GTXE1_enc.v";
  static unsigned int ng1[] = {0U, 0U};
  
  
  
  static void Cont_27792_0(char *t0)
  {
      char t3[8];
      char t4[8];
      char t6[8];
      char t14[8];
      char t33[8];
      char t72[8];
      char *t1;
      char *t2;
      char *t5;
      char *t7;
      unsigned int t8;
      unsigned int t9;
      unsigned int t10;
      unsigned int t11;
      unsigned int t12;
      unsigned int t13;
      char *t15;
      char *t16;
      unsigned int t17;
      unsigned int t18;
      unsigned int t19;
      unsigned int t20;
      unsigned int t21;
      char *t22;
      char *t23;
      char *t24;
      unsigned int t25;
      unsigned int t26;
      unsigned int t27;
      unsigned int t28;
      unsigned int t29;
      unsigned int t30;
      unsigned int t31;
      unsigned int t32;
      unsigned int t34;
      unsigned int t35;
      unsigned int t36;
      char *t37;
      char *t38;
      char *t39;
      unsigned int t40;
      unsigned int t41;
      unsigned int t42;
      unsigned int t43;
      unsigned int t44;
      unsigned int t45;
      unsigned int t46;
      char *t47;
      char *t48;
      unsigned int t49;
      unsigned int t50;
      unsigned int t51;
      int t52;
      unsigned int t53;
      unsigned int t54;
      unsigned int t55;
      int t56;
      unsigned int t57;
      unsigned int t58;
      unsigned int t59;
      unsigned int t60;
      char *t61;
      unsigned int t62;
      unsigned int t63;
      unsigned int t64;
      unsigned int t65;
      unsigned int t66;
      char *t67;
      char *t68;
      unsigned int t69;
      unsigned int t70;
      unsigned int t71;
      char *t73;
      char *t74;
      char *t75;
      unsigned int t76;
      unsigned int t77;
      unsigned int t78;
      unsigned int t79;
      unsigned int t80;
      unsigned int t81;
      unsigned int t82;
      unsigned int t83;
      unsigned int t84;
      unsigned int t85;
      char *t86;
      char *t87;
      char *t88;
      char *t89;
      char *t90;
      char *t91;
      unsigned int t92;
      unsigned int t93;
      char *t94;
      unsigned int t95;
      unsigned int t96;
      char *t97;
      unsigned int t98;
      unsigned int t99;
      char *t100;
  
  LAB0:    t1 = (t0 + 5248U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    xsi_set_current_line(27792, ng0);
      t2 = (t0 + 1048U);
      t5 = *((char **)t2);
      memset(t6, 0, 8);
      t2 = (t6 + 4);
      t7 = (t5 + 4);
      t8 = *((unsigned int *)t5);
      t9 = (t8 >> 0);
      t10 = (t9 & 1);
      *((unsigned int *)t6) = t10;
      t11 = *((unsigned int *)t7);
      t12 = (t11 >> 0);
      t13 = (t12 & 1);
      *((unsigned int *)t2) = t13;
      t15 = (t0 + 2168U);
      t16 = *((char **)t15);
      memset(t14, 0, 8);
      t15 = (t16 + 4);
      t17 = *((unsigned int *)t15);
      t18 = (~(t17));
      t19 = *((unsigned int *)t16);
      t20 = (t19 & t18);
      t21 = (t20 & 1U);
      if (t21 != 0)
          goto LAB7;
  
  LAB5:    if (*((unsigned int *)t15) == 0)
          goto LAB4;
  
  LAB6:    t22 = (t14 + 4);
      *((unsigned int *)t14) = 1;
      *((unsigned int *)t22) = 1;
  
  LAB7:    t23 = (t14 + 4);
      t24 = (t16 + 4);
      t25 = *((unsigned int *)t16);
      t26 = (~(t25));
      *((unsigned int *)t14) = t26;
      *((unsigned int *)t23) = 0;
      if (*((unsigned int *)t24) != 0)
          goto LAB9;
  
  LAB8:    t31 = *((unsigned int *)t14);
      *((unsigned int *)t14) = (t31 & 1U);
      t32 = *((unsigned int *)t23);
      *((unsigned int *)t23) = (t32 & 1U);
      t34 = *((unsigned int *)t6);
      t35 = *((unsigned int *)t14);
      t36 = (t34 | t35);
      *((unsigned int *)t33) = t36;
      t37 = (t6 + 4);
      t38 = (t14 + 4);
      t39 = (t33 + 4);
      t40 = *((unsigned int *)t37);
      t41 = *((unsigned int *)t38);
      t42 = (t40 | t41);
      *((unsigned int *)t39) = t42;
      t43 = *((unsigned int *)t39);
      t44 = (t43 != 0);
      if (t44 == 1)
          goto LAB10;
  
  LAB11:
  LAB12:    memset(t4, 0, 8);
      t61 = (t33 + 4);
      t62 = *((unsigned int *)t61);
      t63 = (~(t62));
      t64 = *((unsigned int *)t33);
      t65 = (t64 & t63);
      t66 = (t65 & 1U);
      if (t66 != 0)
          goto LAB13;
  
  LAB14:    if (*((unsigned int *)t61) != 0)
          goto LAB15;
  
  LAB16:    t68 = (t4 + 4);
      t69 = *((unsigned int *)t4);
      t70 = *((unsigned int *)t68);
      t71 = (t69 || t70);
      if (t71 > 0)
          goto LAB17;
  
  LAB18:    t82 = *((unsigned int *)t4);
      t83 = (~(t82));
      t84 = *((unsigned int *)t68);
      t85 = (t83 || t84);
      if (t85 > 0)
          goto LAB19;
  
  LAB20:    if (*((unsigned int *)t68) > 0)
          goto LAB21;
  
  LAB22:    if (*((unsigned int *)t4) > 0)
          goto LAB23;
  
  LAB24:    memcpy(t3, t86, 8);
  
  LAB25:    t87 = (t0 + 7232);
      t88 = (t87 + 56U);
      t89 = *((char **)t88);
      t90 = (t89 + 56U);
      t91 = *((char **)t90);
      memset(t91, 0, 8);
      t92 = 7U;
      t93 = t92;
      t94 = (t3 + 4);
      t95 = *((unsigned int *)t3);
      t92 = (t92 & t95);
      t96 = *((unsigned int *)t94);
      t93 = (t93 & t96);
      t97 = (t91 + 4);
      t98 = *((unsigned int *)t91);
      *((unsigned int *)t91) = (t98 | t92);
      t99 = *((unsigned int *)t97);
      *((unsigned int *)t97) = (t99 | t93);
      xsi_driver_vfirst_trans_delayed(t87, 0, 2, 50LL, 0);
      t100 = (t0 + 7056);
      *((int *)t100) = 1;
  
  LAB1:    return;
  LAB4:    *((unsigned int *)t14) = 1;
      goto LAB7;
  
  LAB9:    t27 = *((unsigned int *)t14);
      t28 = *((unsigned int *)t24);
      *((unsigned int *)t14) = (t27 | t28);
      t29 = *((unsigned int *)t23);
      t30 = *((unsigned int *)t24);
      *((unsigned int *)t23) = (t29 | t30);
      goto LAB8;
  
  LAB10:    t45 = *((unsigned int *)t33);
      t46 = *((unsigned int *)t39);
      *((unsigned int *)t33) = (t45 | t46);
      t47 = (t6 + 4);
      t48 = (t14 + 4);
      t49 = *((unsigned int *)t47);
      t50 = (~(t49));
      t51 = *((unsigned int *)t6);
      t52 = (t51 & t50);
      t53 = *((unsigned int *)t48);
      t54 = (~(t53));
      t55 = *((unsigned int *)t14);
      t56 = (t55 & t54);
      t57 = (~(t52));
      t58 = (~(t56));
      t59 = *((unsigned int *)t39);
      *((unsigned int *)t39) = (t59 & t57);
      t60 = *((unsigned int *)t39);
      *((unsigned int *)t39) = (t60 & t58);
      goto LAB12;
  
  LAB13:    *((unsigned int *)t4) = 1;
      goto LAB16;
  
  LAB15:    t67 = (t4 + 4);
      *((unsigned int *)t4) = 1;
      *((unsigned int *)t67) = 1;
      goto LAB16;
  
  LAB17:    t73 = (t0 + 1048U);
      t74 = *((char **)t73);
      memset(t72, 0, 8);
      t73 = (t72 + 4);
      t75 = (t74 + 4);
      t76 = *((unsigned int *)t74);
      t77 = (t76 >> 1);
      *((unsigned int *)t72) = t77;
      t78 = *((unsigned int *)t75);
      t79 = (t78 >> 1);
      *((unsigned int *)t73) = t79;
      t80 = *((unsigned int *)t72);
      *((unsigned int *)t72) = (t80 & 7U);
      t81 = *((unsigned int *)t73);
      *((unsigned int *)t73) = (t81 & 7U);
      goto LAB18;
  
  LAB19:    t86 = ((char*)((ng1)));
      goto LAB20;
  
  LAB21:    xsi_vlog_unsigned_bit_combine(t3, 3, t72, 3, t86, 3);
      goto LAB25;
  
  LAB23:    memcpy(t3, t72, 8);
      goto LAB25;
  
  }
  
  static void Cont_27795_1(char *t0)
  {
      char t3[8];
      char t4[8];
      char t5[8];
      char t7[8];
      char t32[8];
      char t51[8];
      char t90[8];
      char *t1;
      char *t2;
      char *t6;
      char *t8;
      unsigned int t9;
      unsigned int t10;
      unsigned int t11;
      unsigned int t12;
      unsigned int t13;
      unsigned int t14;
      char *t15;
      unsigned int t16;
      unsigned int t17;
      unsigned int t18;
      unsigned int t19;
      unsigned int t20;
      char *t21;
      char *t22;
      char *t23;
      unsigned int t24;
      unsigned int t25;
      unsigned int t26;
      unsigned int t27;
      unsigned int t28;
      unsigned int t29;
      unsigned int t30;
      unsigned int t31;
      char *t33;
      char *t34;
      unsigned int t35;
      unsigned int t36;
      unsigned int t37;
      unsigned int t38;
      unsigned int t39;
      char *t40;
      char *t41;
      char *t42;
      unsigned int t43;
      unsigned int t44;
      unsigned int t45;
      unsigned int t46;
      unsigned int t47;
      unsigned int t48;
      unsigned int t49;
      unsigned int t50;
      unsigned int t52;
      unsigned int t53;
      unsigned int t54;
      char *t55;
      char *t56;
      char *t57;
      unsigned int t58;
      unsigned int t59;
      unsigned int t60;
      unsigned int t61;
      unsigned int t62;
      unsigned int t63;
      unsigned int t64;
      char *t65;
      char *t66;
      unsigned int t67;
      unsigned int t68;
      unsigned int t69;
      int t70;
      unsigned int t71;
      unsigned int t72;
      unsigned int t73;
      int t74;
      unsigned int t75;
      unsigned int t76;
      unsigned int t77;
      unsigned int t78;
      char *t79;
      unsigned int t80;
      unsigned int t81;
      unsigned int t82;
      unsigned int t83;
      unsigned int t84;
      char *t85;
      char *t86;
      unsigned int t87;
      unsigned int t88;
      unsigned int t89;
      char *t91;
      char *t92;
      char *t93;
      unsigned int t94;
      unsigned int t95;
      unsigned int t96;
      unsigned int t97;
      unsigned int t98;
      unsigned int t99;
      unsigned int t100;
      unsigned int t101;
      unsigned int t102;
      unsigned int t103;
      char *t104;
      char *t105;
      char *t106;
      char *t107;
      char *t108;
      char *t109;
      unsigned int t110;
      unsigned int t111;
      char *t112;
      unsigned int t113;
      unsigned int t114;
      char *t115;
      unsigned int t116;
      unsigned int t117;
      char *t118;
  
  LAB0:    t1 = (t0 + 5496U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    xsi_set_current_line(27795, ng0);
      t2 = (t0 + 1048U);
      t6 = *((char **)t2);
      memset(t7, 0, 8);
      t2 = (t7 + 4);
      t8 = (t6 + 4);
      t9 = *((unsigned int *)t6);
      t10 = (t9 >> 0);
      t11 = (t10 & 1);
      *((unsigned int *)t7) = t11;
      t12 = *((unsigned int *)t8);
      t13 = (t12 >> 0);
      t14 = (t13 & 1);
      *((unsigned int *)t2) = t14;
      memset(t5, 0, 8);
      t15 = (t7 + 4);
      t16 = *((unsigned int *)t15);
      t17 = (~(t16));
      t18 = *((unsigned int *)t7);
      t19 = (t18 & t17);
      t20 = (t19 & 1U);
      if (t20 != 0)
          goto LAB7;
  
  LAB5:    if (*((unsigned int *)t15) == 0)
          goto LAB4;
  
  LAB6:    t21 = (t5 + 4);
      *((unsigned int *)t5) = 1;
      *((unsigned int *)t21) = 1;
  
  LAB7:    t22 = (t5 + 4);
      t23 = (t7 + 4);
      t24 = *((unsigned int *)t7);
      t25 = (~(t24));
      *((unsigned int *)t5) = t25;
      *((unsigned int *)t22) = 0;
      if (*((unsigned int *)t23) != 0)
          goto LAB9;
  
  LAB8:    t30 = *((unsigned int *)t5);
      *((unsigned int *)t5) = (t30 & 1U);
      t31 = *((unsigned int *)t22);
      *((unsigned int *)t22) = (t31 & 1U);
      t33 = (t0 + 2168U);
      t34 = *((char **)t33);
      memset(t32, 0, 8);
      t33 = (t34 + 4);
      t35 = *((unsigned int *)t33);
      t36 = (~(t35));
      t37 = *((unsigned int *)t34);
      t38 = (t37 & t36);
      t39 = (t38 & 1U);
      if (t39 != 0)
          goto LAB13;
  
  LAB11:    if (*((unsigned int *)t33) == 0)
          goto LAB10;
  
  LAB12:    t40 = (t32 + 4);
      *((unsigned int *)t32) = 1;
      *((unsigned int *)t40) = 1;
  
  LAB13:    t41 = (t32 + 4);
      t42 = (t34 + 4);
      t43 = *((unsigned int *)t34);
      t44 = (~(t43));
      *((unsigned int *)t32) = t44;
      *((unsigned int *)t41) = 0;
      if (*((unsigned int *)t42) != 0)
          goto LAB15;
  
  LAB14:    t49 = *((unsigned int *)t32);
      *((unsigned int *)t32) = (t49 & 1U);
      t50 = *((unsigned int *)t41);
      *((unsigned int *)t41) = (t50 & 1U);
      t52 = *((unsigned int *)t5);
      t53 = *((unsigned int *)t32);
      t54 = (t52 | t53);
      *((unsigned int *)t51) = t54;
      t55 = (t5 + 4);
      t56 = (t32 + 4);
      t57 = (t51 + 4);
      t58 = *((unsigned int *)t55);
      t59 = *((unsigned int *)t56);
      t60 = (t58 | t59);
      *((unsigned int *)t57) = t60;
      t61 = *((unsigned int *)t57);
      t62 = (t61 != 0);
      if (t62 == 1)
          goto LAB16;
  
  LAB17:
  LAB18:    memset(t4, 0, 8);
      t79 = (t51 + 4);
      t80 = *((unsigned int *)t79);
      t81 = (~(t80));
      t82 = *((unsigned int *)t51);
      t83 = (t82 & t81);
      t84 = (t83 & 1U);
      if (t84 != 0)
          goto LAB19;
  
  LAB20:    if (*((unsigned int *)t79) != 0)
          goto LAB21;
  
  LAB22:    t86 = (t4 + 4);
      t87 = *((unsigned int *)t4);
      t88 = *((unsigned int *)t86);
      t89 = (t87 || t88);
      if (t89 > 0)
          goto LAB23;
  
  LAB24:    t100 = *((unsigned int *)t4);
      t101 = (~(t100));
      t102 = *((unsigned int *)t86);
      t103 = (t101 || t102);
      if (t103 > 0)
          goto LAB25;
  
  LAB26:    if (*((unsigned int *)t86) > 0)
          goto LAB27;
  
  LAB28:    if (*((unsigned int *)t4) > 0)
          goto LAB29;
  
  LAB30:    memcpy(t3, t104, 8);
  
  LAB31:    t105 = (t0 + 7296);
      t106 = (t105 + 56U);
      t107 = *((char **)t106);
      t108 = (t107 + 56U);
      t109 = *((char **)t108);
      memset(t109, 0, 8);
      t110 = 7U;
      t111 = t110;
      t112 = (t3 + 4);
      t113 = *((unsigned int *)t3);
      t110 = (t110 & t113);
      t114 = *((unsigned int *)t112);
      t111 = (t111 & t114);
      t115 = (t109 + 4);
      t116 = *((unsigned int *)t109);
      *((unsigned int *)t109) = (t116 | t110);
      t117 = *((unsigned int *)t115);
      *((unsigned int *)t115) = (t117 | t111);
      xsi_driver_vfirst_trans_delayed(t105, 0, 2, 50LL, 0);
      t118 = (t0 + 7072);
      *((int *)t118) = 1;
  
  LAB1:    return;
  LAB4:    *((unsigned int *)t5) = 1;
      goto LAB7;
  
  LAB9:    t26 = *((unsigned int *)t5);
      t27 = *((unsigned int *)t23);
      *((unsigned int *)t5) = (t26 | t27);
      t28 = *((unsigned int *)t22);
      t29 = *((unsigned int *)t23);
      *((unsigned int *)t22) = (t28 | t29);
      goto LAB8;
  
  LAB10:    *((unsigned int *)t32) = 1;
      goto LAB13;
  
  LAB15:    t45 = *((unsigned int *)t32);
      t46 = *((unsigned int *)t42);
      *((unsigned int *)t32) = (t45 | t46);
      t47 = *((unsigned int *)t41);
      t48 = *((unsigned int *)t42);
      *((unsigned int *)t41) = (t47 | t48);
      goto LAB14;
  
  LAB16:    t63 = *((unsigned int *)t51);
      t64 = *((unsigned int *)t57);
      *((unsigned int *)t51) = (t63 | t64);
      t65 = (t5 + 4);
      t66 = (t32 + 4);
      t67 = *((unsigned int *)t65);
      t68 = (~(t67));
      t69 = *((unsigned int *)t5);
      t70 = (t69 & t68);
      t71 = *((unsigned int *)t66);
      t72 = (~(t71));
      t73 = *((unsigned int *)t32);
      t74 = (t73 & t72);
      t75 = (~(t70));
      t76 = (~(t74));
      t77 = *((unsigned int *)t57);
      *((unsigned int *)t57) = (t77 & t75);
      t78 = *((unsigned int *)t57);
      *((unsigned int *)t57) = (t78 & t76);
      goto LAB18;
  
  LAB19:    *((unsigned int *)t4) = 1;
      goto LAB22;
  
  LAB21:    t85 = (t4 + 4);
      *((unsigned int *)t4) = 1;
      *((unsigned int *)t85) = 1;
      goto LAB22;
  
  LAB23:    t91 = (t0 + 1048U);
      t92 = *((char **)t91);
      memset(t90, 0, 8);
      t91 = (t90 + 4);
      t93 = (t92 + 4);
      t94 = *((unsigned int *)t92);
      t95 = (t94 >> 1);
      *((unsigned int *)t90) = t95;
      t96 = *((unsigned int *)t93);
      t97 = (t96 >> 1);
      *((unsigned int *)t91) = t97;
      t98 = *((unsigned int *)t90);
      *((unsigned int *)t90) = (t98 & 7U);
      t99 = *((unsigned int *)t91);
      *((unsigned int *)t91) = (t99 & 7U);
      goto LAB24;
  
  LAB25:    t104 = ((char*)((ng1)));
      goto LAB26;
  
  LAB27:    xsi_vlog_unsigned_bit_combine(t3, 3, t90, 3, t104, 3);
      goto LAB31;
  
  LAB29:    memcpy(t3, t90, 8);
      goto LAB31;
  
  }
  
  static void Cont_27799_2(char *t0)
  {
      char t3[8];
      char t21[8];
      char t40[8];
      char *t1;
      char *t2;
      char *t4;
      unsigned int t5;
      unsigned int t6;
      unsigned int t7;
      unsigned int t8;
      unsigned int t9;
      char *t10;
      char *t11;
      char *t12;
      unsigned int t13;
      unsigned int t14;
      unsigned int t15;
      unsigned int t16;
      unsigned int t17;
      unsigned int t18;
      unsigned int t19;
      unsigned int t20;
      char *t22;
      char *t23;
      unsigned int t24;
      unsigned int t25;
      unsigned int t26;
      unsigned int t27;
      unsigned int t28;
      char *t29;
      char *t30;
      char *t31;
      unsigned int t32;
      unsigned int t33;
      unsigned int t34;
      unsigned int t35;
      unsigned int t36;
      unsigned int t37;
      unsigned int t38;
      unsigned int t39;
      unsigned int t41;
      unsigned int t42;
      unsigned int t43;
      char *t44;
      char *t45;
      char *t46;
      unsigned int t47;
      unsigned int t48;
      unsigned int t49;
      unsigned int t50;
      unsigned int t51;
      unsigned int t52;
      unsigned int t53;
      char *t54;
      char *t55;
      unsigned int t56;
      unsigned int t57;
      unsigned int t58;
      int t59;
      unsigned int t60;
      unsigned int t61;
      unsigned int t62;
      int t63;
      unsigned int t64;
      unsigned int t65;
      unsigned int t66;
      unsigned int t67;
      char *t68;
      char *t69;
      char *t70;
      char *t71;
      char *t72;
      unsigned int t73;
      unsigned int t74;
      char *t75;
      unsigned int t76;
      unsigned int t77;
      char *t78;
      unsigned int t79;
      unsigned int t80;
      char *t81;
  
  LAB0:    t1 = (t0 + 5744U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    xsi_set_current_line(27799, ng0);
      t2 = (t0 + 2488U);
      t4 = *((char **)t2);
      memset(t3, 0, 8);
      t2 = (t4 + 4);
      t5 = *((unsigned int *)t2);
      t6 = (~(t5));
      t7 = *((unsigned int *)t4);
      t8 = (t7 & t6);
      t9 = (t8 & 1U);
      if (t9 != 0)
          goto LAB7;
  
  LAB5:    if (*((unsigned int *)t2) == 0)
          goto LAB4;
  
  LAB6:    t10 = (t3 + 4);
      *((unsigned int *)t3) = 1;
      *((unsigned int *)t10) = 1;
  
  LAB7:    t11 = (t3 + 4);
      t12 = (t4 + 4);
      t13 = *((unsigned int *)t4);
      t14 = (~(t13));
      *((unsigned int *)t3) = t14;
      *((unsigned int *)t11) = 0;
      if (*((unsigned int *)t12) != 0)
          goto LAB9;
  
  LAB8:    t19 = *((unsigned int *)t3);
      *((unsigned int *)t3) = (t19 & 1U);
      t20 = *((unsigned int *)t11);
      *((unsigned int *)t11) = (t20 & 1U);
      t22 = (t0 + 1528U);
      t23 = *((char **)t22);
      memset(t21, 0, 8);
      t22 = (t23 + 4);
      t24 = *((unsigned int *)t22);
      t25 = (~(t24));
      t26 = *((unsigned int *)t23);
      t27 = (t26 & t25);
      t28 = (t27 & 1U);
      if (t28 != 0)
          goto LAB13;
  
  LAB11:    if (*((unsigned int *)t22) == 0)
          goto LAB10;
  
  LAB12:    t29 = (t21 + 4);
      *((unsigned int *)t21) = 1;
      *((unsigned int *)t29) = 1;
  
  LAB13:    t30 = (t21 + 4);
      t31 = (t23 + 4);
      t32 = *((unsigned int *)t23);
      t33 = (~(t32));
      *((unsigned int *)t21) = t33;
      *((unsigned int *)t30) = 0;
      if (*((unsigned int *)t31) != 0)
          goto LAB15;
  
  LAB14:    t38 = *((unsigned int *)t21);
      *((unsigned int *)t21) = (t38 & 1U);
      t39 = *((unsigned int *)t30);
      *((unsigned int *)t30) = (t39 & 1U);
      t41 = *((unsigned int *)t3);
      t42 = *((unsigned int *)t21);
      t43 = (t41 | t42);
      *((unsigned int *)t40) = t43;
      t44 = (t3 + 4);
      t45 = (t21 + 4);
      t46 = (t40 + 4);
      t47 = *((unsigned int *)t44);
      t48 = *((unsigned int *)t45);
      t49 = (t47 | t48);
      *((unsigned int *)t46) = t49;
      t50 = *((unsigned int *)t46);
      t51 = (t50 != 0);
      if (t51 == 1)
          goto LAB16;
  
  LAB17:
  LAB18:    t68 = (t0 + 7360);
      t69 = (t68 + 56U);
      t70 = *((char **)t69);
      t71 = (t70 + 56U);
      t72 = *((char **)t71);
      memset(t72, 0, 8);
      t73 = 1U;
      t74 = t73;
      t75 = (t40 + 4);
      t76 = *((unsigned int *)t40);
      t73 = (t73 & t76);
      t77 = *((unsigned int *)t75);
      t74 = (t74 & t77);
      t78 = (t72 + 4);
      t79 = *((unsigned int *)t72);
      *((unsigned int *)t72) = (t79 | t73);
      t80 = *((unsigned int *)t78);
      *((unsigned int *)t78) = (t80 | t74);
      xsi_driver_vfirst_trans_delayed(t68, 0, 0, 50LL, 0);
      t81 = (t0 + 7088);
      *((int *)t81) = 1;
  
  LAB1:    return;
  LAB4:    *((unsigned int *)t3) = 1;
      goto LAB7;
  
  LAB9:    t15 = *((unsigned int *)t3);
      t16 = *((unsigned int *)t12);
      *((unsigned int *)t3) = (t15 | t16);
      t17 = *((unsigned int *)t11);
      t18 = *((unsigned int *)t12);
      *((unsigned int *)t11) = (t17 | t18);
      goto LAB8;
  
  LAB10:    *((unsigned int *)t21) = 1;
      goto LAB13;
  
  LAB15:    t34 = *((unsigned int *)t21);
      t35 = *((unsigned int *)t31);
      *((unsigned int *)t21) = (t34 | t35);
      t36 = *((unsigned int *)t30);
      t37 = *((unsigned int *)t31);
      *((unsigned int *)t30) = (t36 | t37);
      goto LAB14;
  
  LAB16:    t52 = *((unsigned int *)t40);
      t53 = *((unsigned int *)t46);
      *((unsigned int *)t40) = (t52 | t53);
      t54 = (t3 + 4);
      t55 = (t21 + 4);
      t56 = *((unsigned int *)t54);
      t57 = (~(t56));
      t58 = *((unsigned int *)t3);
      t59 = (t58 & t57);
      t60 = *((unsigned int *)t55);
      t61 = (~(t60));
      t62 = *((unsigned int *)t21);
      t63 = (t62 & t61);
      t64 = (~(t59));
      t65 = (~(t63));
      t66 = *((unsigned int *)t46);
      *((unsigned int *)t46) = (t66 & t64);
      t67 = *((unsigned int *)t46);
      *((unsigned int *)t46) = (t67 & t65);
      goto LAB18;
  
  }
  
  static void Cont_27800_3(char *t0)
  {
      char t3[8];
      char t23[8];
      char *t1;
      char *t2;
      char *t4;
      unsigned int t5;
      unsigned int t6;
      unsigned int t7;
      unsigned int t8;
      unsigned int t9;
      char *t10;
      char *t11;
      char *t12;
      unsigned int t13;
      unsigned int t14;
      unsigned int t15;
      unsigned int t16;
      unsigned int t17;
      unsigned int t18;
      unsigned int t19;
      unsigned int t20;
      char *t21;
      char *t22;
      unsigned int t24;
      unsigned int t25;
      unsigned int t26;
      char *t27;
      char *t28;
      unsigned int t29;
      unsigned int t30;
      unsigned int t31;
      unsigned int t32;
      unsigned int t33;
      unsigned int t34;
      unsigned int t35;
      char *t36;
      char *t37;
      unsigned int t38;
      unsigned int t39;
      unsigned int t40;
      int t41;
      unsigned int t42;
      unsigned int t43;
      unsigned int t44;
      int t45;
      unsigned int t46;
      unsigned int t47;
      unsigned int t48;
      unsigned int t49;
      char *t50;
      char *t51;
      char *t52;
      char *t53;
      char *t54;
      unsigned int t55;
      unsigned int t56;
      char *t57;
      unsigned int t58;
      unsigned int t59;
      char *t60;
      unsigned int t61;
      unsigned int t62;
      char *t63;
  
  LAB0:    t1 = (t0 + 5992U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    xsi_set_current_line(27800, ng0);
      t2 = (t0 + 2488U);
      t4 = *((char **)t2);
      memset(t3, 0, 8);
      t2 = (t4 + 4);
      t5 = *((unsigned int *)t2);
      t6 = (~(t5));
      t7 = *((unsigned int *)t4);
      t8 = (t7 & t6);
      t9 = (t8 & 1U);
      if (t9 != 0)
          goto LAB7;
  
  LAB5:    if (*((unsigned int *)t2) == 0)
          goto LAB4;
  
  LAB6:    t10 = (t3 + 4);
      *((unsigned int *)t3) = 1;
      *((unsigned int *)t10) = 1;
  
  LAB7:    t11 = (t3 + 4);
      t12 = (t4 + 4);
      t13 = *((unsigned int *)t4);
      t14 = (~(t13));
      *((unsigned int *)t3) = t14;
      *((unsigned int *)t11) = 0;
      if (*((unsigned int *)t12) != 0)
          goto LAB9;
  
  LAB8:    t19 = *((unsigned int *)t3);
      *((unsigned int *)t3) = (t19 & 1U);
      t20 = *((unsigned int *)t11);
      *((unsigned int *)t11) = (t20 & 1U);
      t21 = (t0 + 1528U);
      t22 = *((char **)t21);
      t24 = *((unsigned int *)t3);
      t25 = *((unsigned int *)t22);
      t26 = (t24 | t25);
      *((unsigned int *)t23) = t26;
      t21 = (t3 + 4);
      t27 = (t22 + 4);
      t28 = (t23 + 4);
      t29 = *((unsigned int *)t21);
      t30 = *((unsigned int *)t27);
      t31 = (t29 | t30);
      *((unsigned int *)t28) = t31;
      t32 = *((unsigned int *)t28);
      t33 = (t32 != 0);
      if (t33 == 1)
          goto LAB10;
  
  LAB11:
  LAB12:    t50 = (t0 + 7424);
      t51 = (t50 + 56U);
      t52 = *((char **)t51);
      t53 = (t52 + 56U);
      t54 = *((char **)t53);
      memset(t54, 0, 8);
      t55 = 1U;
      t56 = t55;
      t57 = (t23 + 4);
      t58 = *((unsigned int *)t23);
      t55 = (t55 & t58);
      t59 = *((unsigned int *)t57);
      t56 = (t56 & t59);
      t60 = (t54 + 4);
      t61 = *((unsigned int *)t54);
      *((unsigned int *)t54) = (t61 | t55);
      t62 = *((unsigned int *)t60);
      *((unsigned int *)t60) = (t62 | t56);
      xsi_driver_vfirst_trans_delayed(t50, 0, 0, 50LL, 0);
      t63 = (t0 + 7104);
      *((int *)t63) = 1;
  
  LAB1:    return;
  LAB4:    *((unsigned int *)t3) = 1;
      goto LAB7;
  
  LAB9:    t15 = *((unsigned int *)t3);
      t16 = *((unsigned int *)t12);
      *((unsigned int *)t3) = (t15 | t16);
      t17 = *((unsigned int *)t11);
      t18 = *((unsigned int *)t12);
      *((unsigned int *)t11) = (t17 | t18);
      goto LAB8;
  
  LAB10:    t34 = *((unsigned int *)t23);
      t35 = *((unsigned int *)t28);
      *((unsigned int *)t23) = (t34 | t35);
      t36 = (t3 + 4);
      t37 = (t22 + 4);
      t38 = *((unsigned int *)t36);
      t39 = (~(t38));
      t40 = *((unsigned int *)t3);
      t41 = (t40 & t39);
      t42 = *((unsigned int *)t37);
      t43 = (~(t42));
      t44 = *((unsigned int *)t22);
      t45 = (t44 & t43);
      t46 = (~(t41));
      t47 = (~(t45));
      t48 = *((unsigned int *)t28);
      *((unsigned int *)t28) = (t48 & t46);
      t49 = *((unsigned int *)t28);
      *((unsigned int *)t28) = (t49 & t47);
      goto LAB12;
  
  }
  
  static void Always_27802_4(char *t0)
  {
      char t4[8];
      char *t1;
      char *t2;
      char *t3;
      char *t5;
      char *t6;
      unsigned int t7;
      unsigned int t8;
      unsigned int t9;
      unsigned int t10;
      unsigned int t11;
      char *t12;
      char *t13;
      unsigned int t14;
      unsigned int t15;
      unsigned int t16;
      unsigned int t17;
      unsigned int t18;
      char *t19;
      char *t20;
  
  LAB0:    t1 = (t0 + 6240U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    xsi_set_current_line(27802, ng0);
      t2 = (t0 + 7120);
      *((int *)t2) = 1;
      t3 = (t0 + 6272);
      *((char **)t3) = t2;
      *((char **)t1) = &&LAB4;
  
  LAB1:    return;
  LAB4:    xsi_set_current_line(27802, ng0);
  
  LAB5:    xsi_set_current_line(27803, ng0);
      t5 = (t0 + 2008U);
      t6 = *((char **)t5);
      memset(t4, 0, 8);
      t5 = (t6 + 4);
      t7 = *((unsigned int *)t5);
      t8 = (~(t7));
      t9 = *((unsigned int *)t6);
      t10 = (t9 & t8);
      t11 = (t10 & 1U);
      if (t11 != 0)
          goto LAB9;
  
  LAB7:    if (*((unsigned int *)t5) == 0)
          goto LAB6;
  
  LAB8:    t12 = (t4 + 4);
      *((unsigned int *)t4) = 1;
      *((unsigned int *)t12) = 1;
  
  LAB9:    t13 = (t4 + 4);
      t14 = *((unsigned int *)t13);
      t15 = (~(t14));
      t16 = *((unsigned int *)t4);
      t17 = (t16 & t15);
      t18 = (t17 != 0);
      if (t18 > 0)
          goto LAB10;
  
  LAB11:    xsi_set_current_line(27806, ng0);
  
  LAB14:    xsi_set_current_line(27807, ng0);
      t2 = (t0 + 3288U);
      t3 = *((char **)t2);
      t2 = (t3 + 4);
      t7 = *((unsigned int *)t2);
      t8 = (~(t7));
      t9 = *((unsigned int *)t3);
      t10 = (t9 & t8);
      t11 = (t10 != 0);
      if (t11 > 0)
          goto LAB15;
  
  LAB16:
  LAB17:    xsi_set_current_line(27808, ng0);
      t2 = (t0 + 3448U);
      t3 = *((char **)t2);
      t2 = (t3 + 4);
      t7 = *((unsigned int *)t2);
      t8 = (~(t7));
      t9 = *((unsigned int *)t3);
      t10 = (t9 & t8);
      t11 = (t10 != 0);
      if (t11 > 0)
          goto LAB18;
  
  LAB19:
  LAB20:
  LAB12:    goto LAB2;
  
  LAB6:    *((unsigned int *)t4) = 1;
      goto LAB9;
  
  LAB10:    xsi_set_current_line(27803, ng0);
  
  LAB13:    xsi_set_current_line(27804, ng0);
      t19 = ((char*)((ng1)));
      t20 = (t0 + 4168);
      xsi_vlogvar_wait_assign_value(t20, t19, 0, 0, 3, 50LL);
      xsi_set_current_line(27805, ng0);
      t2 = ((char*)((ng1)));
      t3 = (t0 + 4328);
      xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 3, 50LL);
      goto LAB12;
  
  LAB15:    xsi_set_current_line(27807, ng0);
      t5 = (t0 + 2968U);
      t6 = *((char **)t5);
      t5 = (t0 + 4168);
      xsi_vlogvar_wait_assign_value(t5, t6, 0, 0, 3, 50LL);
      goto LAB17;
  
  LAB18:    xsi_set_current_line(27808, ng0);
      t5 = (t0 + 3128U);
      t6 = *((char **)t5);
      t5 = (t0 + 4328);
      xsi_vlogvar_wait_assign_value(t5, t6, 0, 0, 3, 50LL);
      goto LAB20;
  
  }
  
  static void NetDecl_27816_5(char *t0)
  {
      char t5[8];
      char *t1;
      char *t2;
      char *t3;
      char *t4;
      unsigned int t6;
      unsigned int t7;
      unsigned int t8;
      char *t9;
      char *t10;
      unsigned int t11;
      unsigned int t12;
      unsigned int t13;
      unsigned int t14;
      unsigned int t15;
      unsigned int t16;
      unsigned int t17;
      char *t18;
      char *t19;
      unsigned int t20;
      unsigned int t21;
      unsigned int t22;
      int t23;
      unsigned int t24;
      unsigned int t25;
      unsigned int t26;
      int t27;
      unsigned int t28;
      unsigned int t29;
      unsigned int t30;
      unsigned int t31;
      char *t32;
      char *t33;
      char *t34;
      char *t35;
      char *t36;
      unsigned int t37;
      unsigned int t38;
      char *t39;
      unsigned int t40;
      unsigned int t41;
      char *t42;
      unsigned int t43;
      unsigned int t44;
      char *t45;
  
  LAB0:    t1 = (t0 + 6488U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    xsi_set_current_line(27816, ng0);
      t2 = (t0 + 2648U);
      t3 = *((char **)t2);
      t2 = (t0 + 2328U);
      t4 = *((char **)t2);
      t6 = *((unsigned int *)t3);
      t7 = *((unsigned int *)t4);
      t8 = (t6 | t7);
      *((unsigned int *)t5) = t8;
      t2 = (t3 + 4);
      t9 = (t4 + 4);
      t10 = (t5 + 4);
      t11 = *((unsigned int *)t2);
      t12 = *((unsigned int *)t9);
      t13 = (t11 | t12);
      *((unsigned int *)t10) = t13;
      t14 = *((unsigned int *)t10);
      t15 = (t14 != 0);
      if (t15 == 1)
          goto LAB4;
  
  LAB5:
  LAB6:    t32 = (t0 + 7488);
      t33 = (t32 + 56U);
      t34 = *((char **)t33);
      t35 = (t34 + 56U);
      t36 = *((char **)t35);
      memset(t36, 0, 8);
      t37 = 1U;
      t38 = t37;
      t39 = (t5 + 4);
      t40 = *((unsigned int *)t5);
      t37 = (t37 & t40);
      t41 = *((unsigned int *)t39);
      t38 = (t38 & t41);
      t42 = (t36 + 4);
      t43 = *((unsigned int *)t36);
      *((unsigned int *)t36) = (t43 | t37);
      t44 = *((unsigned int *)t42);
      *((unsigned int *)t42) = (t44 | t38);
      xsi_driver_vfirst_trans_delayed(t32, 0, 0U, 50LL, 0);
      t45 = (t0 + 7136);
      *((int *)t45) = 1;
  
  LAB1:    return;
  LAB4:    t16 = *((unsigned int *)t5);
      t17 = *((unsigned int *)t10);
      *((unsigned int *)t5) = (t16 | t17);
      t18 = (t3 + 4);
      t19 = (t4 + 4);
      t20 = *((unsigned int *)t18);
      t21 = (~(t20));
      t22 = *((unsigned int *)t3);
      t23 = (t22 & t21);
      t24 = *((unsigned int *)t19);
      t25 = (~(t24));
      t26 = *((unsigned int *)t4);
      t27 = (t26 & t25);
      t28 = (~(t23));
      t29 = (~(t27));
      t30 = *((unsigned int *)t10);
      *((unsigned int *)t10) = (t30 & t28);
      t31 = *((unsigned int *)t10);
      *((unsigned int *)t10) = (t31 & t29);
      goto LAB6;
  
  }
  
  static void Always_27825_6(char *t0)
  {
      char t4[8];
      char t21[8];
      char t22[8];
      char t25[8];
      char t26[8];
      char t29[8];
      char t47[8];
      char *t1;
      char *t2;
      char *t3;
      char *t5;
      char *t6;
      unsigned int t7;
      unsigned int t8;
      unsigned int t9;
      unsigned int t10;
      unsigned int t11;
      char *t12;
      char *t13;
      unsigned int t14;
      unsigned int t15;
      unsigned int t16;
      unsigned int t17;
      unsigned int t18;
      char *t19;
      char *t20;
      unsigned int t23;
      unsigned int t24;
      char *t27;
      char *t28;
      char *t30;
      unsigned int t31;
      unsigned int t32;
      unsigned int t33;
      unsigned int t34;
      unsigned int t35;
      char *t36;
      char *t37;
      char *t38;
      unsigned int t39;
      unsigned int t40;
      unsigned int t41;
      unsigned int t42;
      unsigned int t43;
      unsigned int t44;
      unsigned int t45;
      unsigned int t46;
      unsigned int t48;
      unsigned int t49;
      unsigned int t50;
      char *t51;
      char *t52;
      char *t53;
      unsigned int t54;
      unsigned int t55;
      unsigned int t56;
      unsigned int t57;
      unsigned int t58;
      unsigned int t59;
      unsigned int t60;
      char *t61;
      char *t62;
      unsigned int t63;
      unsigned int t64;
      unsigned int t65;
      unsigned int t66;
      unsigned int t67;
      unsigned int t68;
      unsigned int t69;
      unsigned int t70;
      int t71;
      int t72;
      unsigned int t73;
      unsigned int t74;
      unsigned int t75;
      unsigned int t76;
      unsigned int t77;
      unsigned int t78;
      char *t79;
      unsigned int t80;
      unsigned int t81;
      unsigned int t82;
      unsigned int t83;
      unsigned int t84;
      char *t85;
      char *t86;
      unsigned int t87;
      unsigned int t88;
      unsigned int t89;
      char *t90;
      char *t91;
      unsigned int t92;
      unsigned int t93;
      unsigned int t94;
      unsigned int t95;
      char *t96;
      char *t97;
      char *t98;
  
  LAB0:    t1 = (t0 + 6736U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    xsi_set_current_line(27825, ng0);
      t2 = (t0 + 7152);
      *((int *)t2) = 1;
      t3 = (t0 + 6768);
      *((char **)t3) = t2;
      *((char **)t1) = &&LAB4;
  
  LAB1:    return;
  LAB4:    xsi_set_current_line(27825, ng0);
  
  LAB5:    xsi_set_current_line(27826, ng0);
      t5 = (t0 + 1848U);
      t6 = *((char **)t5);
      memset(t4, 0, 8);
      t5 = (t6 + 4);
      t7 = *((unsigned int *)t5);
      t8 = (~(t7));
      t9 = *((unsigned int *)t6);
      t10 = (t9 & t8);
      t11 = (t10 & 1U);
      if (t11 != 0)
          goto LAB9;
  
  LAB7:    if (*((unsigned int *)t5) == 0)
          goto LAB6;
  
  LAB8:    t12 = (t4 + 4);
      *((unsigned int *)t4) = 1;
      *((unsigned int *)t12) = 1;
  
  LAB9:    t13 = (t4 + 4);
      t14 = *((unsigned int *)t13);
      t15 = (~(t14));
      t16 = *((unsigned int *)t4);
      t17 = (t16 & t15);
      t18 = (t17 != 0);
      if (t18 > 0)
          goto LAB10;
  
  LAB11:    xsi_set_current_line(27828, ng0);
  
  LAB14:    xsi_set_current_line(27829, ng0);
      t2 = (t0 + 2488U);
      t3 = *((char **)t2);
      memset(t21, 0, 8);
      t2 = (t3 + 4);
      t7 = *((unsigned int *)t2);
      t8 = (~(t7));
      t9 = *((unsigned int *)t3);
      t10 = (t9 & t8);
      t11 = (t10 & 1U);
      if (t11 != 0)
          goto LAB15;
  
  LAB16:    if (*((unsigned int *)t2) != 0)
          goto LAB17;
  
  LAB18:    t6 = (t21 + 4);
      t14 = *((unsigned int *)t21);
      t15 = *((unsigned int *)t6);
      t16 = (t14 || t15);
      if (t16 > 0)
          goto LAB19;
  
  LAB20:    t17 = *((unsigned int *)t21);
      t18 = (~(t17));
      t23 = *((unsigned int *)t6);
      t24 = (t18 || t23);
      if (t24 > 0)
          goto LAB21;
  
  LAB22:    if (*((unsigned int *)t6) > 0)
          goto LAB23;
  
  LAB24:    if (*((unsigned int *)t21) > 0)
          goto LAB25;
  
  LAB26:    memcpy(t4, t25, 8);
  
  LAB27:    t98 = (t0 + 4008);
      xsi_vlogvar_wait_assign_value(t98, t4, 0, 0, 3, 50LL);
  
  LAB12:    goto LAB2;
  
  LAB6:    *((unsigned int *)t4) = 1;
      goto LAB9;
  
  LAB10:    xsi_set_current_line(27826, ng0);
  
  LAB13:    xsi_set_current_line(27827, ng0);
      t19 = ((char*)((ng1)));
      t20 = (t0 + 4008);
      xsi_vlogvar_wait_assign_value(t20, t19, 0, 0, 3, 50LL);
      goto LAB12;
  
  LAB15:    *((unsigned int *)t21) = 1;
      goto LAB18;
  
  LAB17:    t5 = (t21 + 4);
      *((unsigned int *)t21) = 1;
      *((unsigned int *)t5) = 1;
      goto LAB18;
  
  LAB19:    t12 = (t0 + 2808U);
      t13 = *((char **)t12);
      t12 = (t0 + 4328);
      t19 = (t12 + 56U);
      t20 = *((char **)t19);
      memset(t22, 0, 8);
      xsi_vlog_unsigned_add(t22, 3, t13, 3, t20, 3);
      goto LAB20;
  
  LAB21:    t27 = (t0 + 2168U);
      t28 = *((char **)t27);
      t27 = (t0 + 1688U);
      t30 = *((char **)t27);
      memset(t29, 0, 8);
      t27 = (t30 + 4);
      t31 = *((unsigned int *)t27);
      t32 = (~(t31));
      t33 = *((unsigned int *)t30);
      t34 = (t33 & t32);
      t35 = (t34 & 1U);
      if (t35 != 0)
          goto LAB31;
  
  LAB29:    if (*((unsigned int *)t27) == 0)
          goto LAB28;
  
  LAB30:    t36 = (t29 + 4);
      *((unsigned int *)t29) = 1;
      *((unsigned int *)t36) = 1;
  
  LAB31:    t37 = (t29 + 4);
      t38 = (t30 + 4);
      t39 = *((unsigned int *)t30);
      t40 = (~(t39));
      *((unsigned int *)t29) = t40;
      *((unsigned int *)t37) = 0;
      if (*((unsigned int *)t38) != 0)
          goto LAB33;
  
  LAB32:    t45 = *((unsigned int *)t29);
      *((unsigned int *)t29) = (t45 & 1U);
      t46 = *((unsigned int *)t37);
      *((unsigned int *)t37) = (t46 & 1U);
      t48 = *((unsigned int *)t28);
      t49 = *((unsigned int *)t29);
      t50 = (t48 & t49);
      *((unsigned int *)t47) = t50;
      t51 = (t28 + 4);
      t52 = (t29 + 4);
      t53 = (t47 + 4);
      t54 = *((unsigned int *)t51);
      t55 = *((unsigned int *)t52);
      t56 = (t54 | t55);
      *((unsigned int *)t53) = t56;
      t57 = *((unsigned int *)t53);
      t58 = (t57 != 0);
      if (t58 == 1)
          goto LAB34;
  
  LAB35:
  LAB36:    memset(t26, 0, 8);
      t79 = (t47 + 4);
      t80 = *((unsigned int *)t79);
      t81 = (~(t80));
      t82 = *((unsigned int *)t47);
      t83 = (t82 & t81);
      t84 = (t83 & 1U);
      if (t84 != 0)
          goto LAB37;
  
  LAB38:    if (*((unsigned int *)t79) != 0)
          goto LAB39;
  
  LAB40:    t86 = (t26 + 4);
      t87 = *((unsigned int *)t26);
      t88 = *((unsigned int *)t86);
      t89 = (t87 || t88);
      if (t89 > 0)
          goto LAB41;
  
  LAB42:    t92 = *((unsigned int *)t26);
      t93 = (~(t92));
      t94 = *((unsigned int *)t86);
      t95 = (t93 || t94);
      if (t95 > 0)
          goto LAB43;
  
  LAB44:    if (*((unsigned int *)t86) > 0)
          goto LAB45;
  
  LAB46:    if (*((unsigned int *)t26) > 0)
          goto LAB47;
  
  LAB48:    memcpy(t25, t97, 8);
  
  LAB49:    goto LAB22;
  
  LAB23:    xsi_vlog_unsigned_bit_combine(t4, 3, t22, 3, t25, 3);
      goto LAB27;
  
  LAB25:    memcpy(t4, t22, 8);
      goto LAB27;
  
  LAB28:    *((unsigned int *)t29) = 1;
      goto LAB31;
  
  LAB33:    t41 = *((unsigned int *)t29);
      t42 = *((unsigned int *)t38);
      *((unsigned int *)t29) = (t41 | t42);
      t43 = *((unsigned int *)t37);
      t44 = *((unsigned int *)t38);
      *((unsigned int *)t37) = (t43 | t44);
      goto LAB32;
  
  LAB34:    t59 = *((unsigned int *)t47);
      t60 = *((unsigned int *)t53);
      *((unsigned int *)t47) = (t59 | t60);
      t61 = (t28 + 4);
      t62 = (t29 + 4);
      t63 = *((unsigned int *)t28);
      t64 = (~(t63));
      t65 = *((unsigned int *)t61);
      t66 = (~(t65));
      t67 = *((unsigned int *)t29);
      t68 = (~(t67));
      t69 = *((unsigned int *)t62);
      t70 = (~(t69));
      t71 = (t64 & t66);
      t72 = (t68 & t70);
      t73 = (~(t71));
      t74 = (~(t72));
      t75 = *((unsigned int *)t53);
      *((unsigned int *)t53) = (t75 & t73);
      t76 = *((unsigned int *)t53);
      *((unsigned int *)t53) = (t76 & t74);
      t77 = *((unsigned int *)t47);
      *((unsigned int *)t47) = (t77 & t73);
      t78 = *((unsigned int *)t47);
      *((unsigned int *)t47) = (t78 & t74);
      goto LAB36;
  
  LAB37:    *((unsigned int *)t26) = 1;
      goto LAB40;
  
  LAB39:    t85 = (t26 + 4);
      *((unsigned int *)t26) = 1;
      *((unsigned int *)t85) = 1;
      goto LAB40;
  
  LAB41:    t90 = (t0 + 2808U);
      t91 = *((char **)t90);
      goto LAB42;
  
  LAB43:    t90 = (t0 + 4328);
      t96 = (t90 + 56U);
      t97 = *((char **)t96);
      goto LAB44;
  
  LAB45:    xsi_vlog_unsigned_bit_combine(t25, 3, t91, 3, t97, 3);
      goto LAB49;
  
  LAB47:    memcpy(t25, t91, 8);
      goto LAB49;
  
  }
  
  
  extern void secureip_m_00000000002935802242_2688634343_init()
  {
  	static char *pe[] = {(void *)Cont_27792_0,(void *)Cont_27795_1,(void *)Cont_27799_2,(void *)Cont_27800_3,(void *)Always_27802_4,(void *)NetDecl_27816_5,(void *)Always_27825_6};
  	xsi_register_didat("secureip_m_00000000002935802242_2688634343", "isim/top_test_bench.exe.sim/secureip/m_00000000002935802242_2688634343.didat");
  	xsi_register_executes(pe);
  }
  