LAB96:    t3 = (t1 + 1736);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    t7 = (t1 + 1736);
    t8 = (t7 + 40U);
    t15 = *((char **)t8);
    t16 = ((char*)((ng1)));
    xsi_vlog_generic_get_index_select_value(t6, 32, t5, t15, 2, t16, 32, 1);
    t17 = ((char*)((ng1)));
    memset(t18, 0, 8);
    t19 = (t18 + 4U);
    t20 = (t6 + 4U);
    t21 = (t17 + 4U);
    t9 = *((unsigned int *)t6);
    t10 = *((unsigned int *)t17);
    t11 = (t9 ^ t10);
    t12 = *((unsigned int *)t20);
    t13 = *((unsigned int *)t21);
    t14 = (t12 ^ t13);
    t28 = (t11 | t14);
    t29 = *((unsigned int *)t20);
    t30 = *((unsigned int *)t21);
    t31 = (t29 | t30);
    t32 = (~(t31));
    t33 = (t28 & t32);
    if (t33 != 0)
        goto LAB101;

LAB98:    if (t31 != 0)
        goto LAB100;

LAB99:    *((unsigned int *)t18) = 1;

LAB101:    memset(t24, 0, 8);
    t22 = (t24 + 4U);
    t23 = (t18 + 4U);
    t34 = *((unsigned int *)t23);
    t35 = (~(t34));
    t36 = *((unsigned int *)t18);
    t37 = (t36 & t35);
    t38 = (t37 & 1U);
    if (t38 != 0)
        goto LAB102;

LAB103:    if (*((unsigned int *)t23) != 0)
        goto LAB104;

LAB105:    t25 = (t24 + 4U);
    t39 = *((unsigned int *)t24);
    t41 = *((unsigned int *)t25);
    t42 = (t39 || t41);
    if (t42 > 0)
        goto LAB106;

LAB107:    memcpy(t88, t24, 8);

LAB108:    t86 = (t88 + 4U);
    t114 = *((unsigned int *)t86);
    t115 = (~(t114));
    t116 = *((unsigned int *)t88);
    t117 = (t116 & t115);
    t121 = (t117 != 0);
    if (t121 > 0)
        goto LAB119;

LAB120:    t3 = (t1 + 1736);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    t7 = (t1 + 1736);
    t8 = (t7 + 40U);
    t15 = *((char **)t8);
    t16 = ((char*)((ng0)));
    xsi_vlog_generic_get_index_select_value(t6, 32, t5, t15, 2, t16, 32, 1);
    t17 = ((char*)((ng0)));
    memset(t18, 0, 8);
    t19 = (t18 + 4U);
    t20 = (t6 + 4U);
    t21 = (t17 + 4U);
    t9 = *((unsigned int *)t6);
    t10 = *((unsigned int *)t17);
    t11 = (t9 ^ t10);
    t12 = *((unsigned int *)t20);
    t13 = *((unsigned int *)t21);
    t14 = (t12 ^ t13);
    t28 = (t11 | t14);
    t29 = *((unsigned int *)t20);
    t30 = *((unsigned int *)t21);
    t31 = (t29 | t30);
    t32 = (~(t31));
    t33 = (t28 & t32);
    if (t33 != 0)
        goto LAB125;

LAB122:    if (t31 != 0)
        goto LAB124;

LAB123:    *((unsigned int *)t18) = 1;

LAB125:    memset(t24, 0, 8);
    t22 = (t24 + 4U);
    t23 = (t18 + 4U);
    t34 = *((unsigned int *)t23);
    t35 = (~(t34));
    t36 = *((unsigned int *)t18);
    t37 = (t36 & t35);
    t38 = (t37 & 1U);
    if (t38 != 0)
        goto LAB126;

LAB127:    if (*((unsigned int *)t23) != 0)
        goto LAB128;

LAB129:    t25 = (t24 + 4U);
    t39 = *((unsigned int *)t24);
    t41 = *((unsigned int *)t25);
    t42 = (t39 || t41);
    if (t42 > 0)
        goto LAB130;

LAB131:    memcpy(t88, t24, 8);

LAB132:    t86 = (t88 + 4U);
    t114 = *((unsigned int *)t86);
    t115 = (~(t114));
    t116 = *((unsigned int *)t88);
    t117 = (t116 & t115);
    t121 = (t117 != 0);
    if (t121 > 0)
        goto LAB143;

LAB144:    t3 = (t1 + 1736);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    t7 = (t1 + 1736);
    t8 = (t7 + 40U);
    t15 = *((char **)t8);
    t16 = ((char*)((ng0)));
    xsi_vlog_generic_get_index_select_value(t6, 32, t5, t15, 2, t16, 32, 1);
    t17 = ((char*)((ng1)));
    memset(t18, 0, 8);
    t19 = (t18 + 4U);
    t20 = (t6 + 4U);
    t21 = (t17 + 4U);
    t9 = *((unsigned int *)t6);
    t10 = *((unsigned int *)t17);
    t11 = (t9 ^ t10);
    t12 = *((unsigned int *)t20);
    t13 = *((unsigned int *)t21);
    t14 = (t12 ^ t13);
    t28 = (t11 | t14);
    t29 = *((unsigned int *)t20);
    t30 = *((unsigned int *)t21);
    t31 = (t29 | t30);
    t32 = (~(t31));
    t33 = (t28 & t32);
    if (t33 != 0)
        goto LAB149;

LAB146:    if (t31 != 0)
        goto LAB148;

LAB147:    *((unsigned int *)t18) = 1;

LAB149:    memset(t24, 0, 8);
    t22 = (t24 + 4U);
    t23 = (t18 + 4U);
    t34 = *((unsigned int *)t23);
    t35 = (~(t34));
    t36 = *((unsigned int *)t18);
    t37 = (t36 & t35);
    t38 = (t37 & 1U);
    if (t38 != 0)
        goto LAB150;

LAB151:    if (*((unsigned int *)t23) != 0)
        goto LAB152;

LAB153:    t25 = (t24 + 4U);
    t39 = *((unsigned int *)t24);
    t41 = *((unsigned int *)t25);
    t42 = (t39 || t41);
    if (t42 > 0)
        goto LAB154;

LAB155:    memcpy(t88, t24, 8);

LAB156:    t86 = (t88 + 4U);
    t114 = *((unsigned int *)t86);
    t115 = (~(t114));
    t116 = *((unsigned int *)t88);
    t117 = (t116 & t115);
    t121 = (t117 != 0);
    if (t121 > 0)
        goto LAB167;

LAB168:    t3 = ((char*)((ng2)));
    t4 = (t1 + 1552);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);

LAB169:
LAB145:
LAB121:
LAB97:
LAB73:
LAB33:    t0 = 0;

LAB1:    return t0;
LAB5:    *((unsigned int *)t24) = 1;
    *((unsigned int *)t25) = 1;
    goto LAB6;

LAB7:    t52 = *((unsigned int *)t40);
    t53 = *((unsigned int *)t46);
    *((unsigned int *)t40) = (t52 | t53);
    goto LAB9;

LAB10:    *((unsigned int *)t54) = 1;
    goto LAB13;

LAB12:    *((unsigned int *)t54) = 1;
    *((unsigned int *)t55) = 1;
    goto LAB13;

LAB14:    t67 = (t1 + 1736);
    t68 = (t67 + 32U);
    t69 = *((char **)t68);
    memset(t70, 0, 8);
    t71 = (t70 + 4U);
    t72 = (t69 + 4U);
    t73 = *((unsigned int *)t69);
    t74 = (t73 >> 1);
    t75 = (t74 & 1);
    *((unsigned int *)t70) = t75;
    t76 = *((unsigned int *)t72);
    t77 = (t76 >> 1);
    t78 = (t77 & 1);
    *((unsigned int *)t71) = t78;
    t79 = (t1 + 1736);
    t80 = (t79 + 32U);
    t81 = *((char **)t80);
    t83 = (t1 + 1736);
    t84 = (t83 + 40U);
    t85 = *((char **)t84);
    t86 = ((char*)((ng0)));
    xsi_vlog_generic_get_index_select_value(t82, 32, t81, t85, 2, t86, 32, 1);
    t87 = ((char*)((ng0)));
    memset(t88, 0, 8);
    t89 = (t88 + 4U);
    t90 = (t82 + 4U);
    t91 = (t87 + 4U);
    t92 = *((unsigned int *)t82);
    t93 = *((unsigned int *)t87);
    t94 = (t92 ^ t93);
    t95 = *((unsigned int *)t90);
    t96 = *((unsigned int *)t91);
    t97 = (t95 ^ t96);
    t98 = (t94 | t97);
    t99 = *((unsigned int *)t90);
    t100 = *((unsigned int *)t91);
    t101 = (t99 | t100);
    t102 = (~(t101));
    t103 = (t98 & t102);
    if (t103 != 0)
        goto LAB20;

LAB17:    if (t101 != 0)
        goto LAB19;

LAB18:    *((unsigned int *)t88) = 1;

LAB20:    t105 = *((unsigned int *)t70);
    t106 = *((unsigned int *)t88);
    t107 = (t105 ^ t106);
    *((unsigned int *)t104) = t107;
    t108 = (t70 + 4U);
    t109 = (t88 + 4U);
    t110 = (t104 + 4U);
    t111 = *((unsigned int *)t108);
    t112 = *((unsigned int *)t109);
    t113 = (t111 | t112);
    *((unsigned int *)t110) = t113;
    t114 = *((unsigned int *)t110);
    t115 = (t114 != 0);
    if (t115 == 1)
        goto LAB21;

LAB22:
LAB23:    memset(t118, 0, 8);
    t119 = (t118 + 4U);
    t120 = (t104 + 4U);
    t121 = *((unsigned int *)t120);
    t122 = (~(t121));
    t123 = *((unsigned int *)t104);
    t124 = (t123 & t122);
    t125 = (t124 & 1U);
    if (t125 != 0)
        goto LAB24;

LAB25:    if (*((unsigned int *)t120) != 0)
        goto LAB26;

LAB27:    t127 = *((unsigned int *)t54);
    t128 = *((unsigned int *)t118);
    t129 = (t127 | t128);
    *((unsigned int *)t126) = t129;
    t130 = (t54 + 4U);
    t131 = (t118 + 4U);
    t132 = (t126 + 4U);
    t133 = *((unsigned int *)t130);
    t134 = *((unsigned int *)t131);
    t135 = (t133 | t134);
    *((unsigned int *)t132) = t135;
    t136 = *((unsigned int *)t132);
    t137 = (t136 != 0);
    if (t137 == 1)
        goto LAB28;

LAB29:
LAB30:    goto LAB16;

LAB19:    *((unsigned int *)t88) = 1;
    *((unsigned int *)t89) = 1;
    goto LAB20;

LAB21:    t116 = *((unsigned int *)t104);
    t117 = *((unsigned int *)t110);
    *((unsigned int *)t104) = (t116 | t117);
    goto LAB23;

LAB24:    *((unsigned int *)t118) = 1;
    goto LAB27;

LAB26:    *((unsigned int *)t118) = 1;
    *((unsigned int *)t119) = 1;
    goto LAB27;

LAB28:    t138 = *((unsigned int *)t126);
    t139 = *((unsigned int *)t132);
    *((unsigned int *)t126) = (t138 | t139);
    t140 = (t54 + 4U);
    t141 = (t118 + 4U);
    t142 = *((unsigned int *)t140);
    t143 = (~(t142));
    t144 = *((unsigned int *)t54);
    t145 = (t144 & t143);
    t146 = *((unsigned int *)t141);
    t147 = (~(t146));
    t148 = *((unsigned int *)t118);
    t149 = (t148 & t147);
    t150 = (~(t145));
    t151 = (~(t149));
    t152 = *((unsigned int *)t132);
    *((unsigned int *)t132) = (t152 & t150);
    t153 = *((unsigned int *)t132);
    *((unsigned int *)t132) = (t153 & t151);
    goto LAB30;

LAB31:    t160 = (t1 + 1644);
    t161 = (t160 + 32U);
    t162 = *((char **)t161);
    t164 = (t1 + 1644);
    t165 = (t164 + 40U);
    t166 = *((char **)t165);
    t167 = (t1 + 1736);
    t168 = (t167 + 32U);
    t169 = *((char **)t168);
    xsi_vlog_generic_get_index_select_value(t163, 1, t162, t166, 2, t169, 2, 2);
    t170 = (t1 + 1552);
    xsi_vlogvar_assign_value(t170, t163, 0, 0, 1);
    goto LAB33;

LAB37:    *((unsigned int *)t40) = 1;
    goto LAB40;

LAB39:    *((unsigned int *)t40) = 1;
    *((unsigned int *)t23) = 1;
    goto LAB40;

LAB41:    t27 = (t1 + 1644);
    t44 = (t27 + 32U);
    t45 = *((char **)t44);
    memset(t54, 0, 8);
    t46 = (t54 + 4U);
    t55 = (t45 + 4U);
    t43 = *((unsigned int *)t45);
    t47 = (t43 >> 2);
    t48 = (t47 & 1);
    *((unsigned int *)t54) = t48;
    t49 = *((unsigned int *)t55);
    t50 = (t49 >> 2);
    t51 = (t50 & 1);
    *((unsigned int *)t46) = t51;
    t56 = (t1 + 1644);
    t62 = (t56 + 32U);
    t67 = *((char **)t62);
    memset(t70, 0, 8);
    t68 = (t70 + 4U);
    t69 = (t67 + 4U);
    t52 = *((unsigned int *)t67);
    t53 = (t52 >> 3);
    t57 = (t53 & 1);
    *((unsigned int *)t70) = t57;
    t58 = *((unsigned int *)t69);
    t59 = (t58 >> 3);
    t60 = (t59 & 1);
    *((unsigned int *)t68) = t60;
    memset(t82, 0, 8);
    t71 = (t54 + 4U);
    t72 = (t70 + 4U);
    if (*((unsigned int *)t54) != *((unsigned int *)t70))
        goto LAB46;

LAB44:    if (*((unsigned int *)t71) != *((unsigned int *)t72))
        goto LAB46;

LAB45:    *((unsigned int *)t82) = 1;

LAB46:    memset(t88, 0, 8);
    t79 = (t88 + 4U);
    t80 = (t82 + 4U);
    t61 = *((unsigned int *)t80);
    t63 = (~(t61));
    t64 = *((unsigned int *)t82);
    t65 = (t64 & t63);
    t66 = (t65 & 1U);
    if (t66 != 0)
        goto LAB47;

LAB48:    if (*((unsigned int *)t80) != 0)
        goto LAB49;

LAB50:    t73 = *((unsigned int *)t40);
    t74 = *((unsigned int *)t88);
    t75 = (t73 & t74);
    *((unsigned int *)t104) = t75;
    t81 = (t40 + 4U);
    t83 = (t88 + 4U);
    t84 = (t104 + 4U);
    t76 = *((unsigned int *)t81);
    t77 = *((unsigned int *)t83);
    t78 = (t76 | t77);
    *((unsigned int *)t84) = t78;
    t92 = *((unsigned int *)t84);
    t93 = (t92 != 0);
    if (t93 == 1)
        goto LAB51;

LAB52:
LAB53:    goto LAB43;

LAB47:    *((unsigned int *)t88) = 1;
    goto LAB50;

LAB49:    *((unsigned int *)t88) = 1;
    *((unsigned int *)t79) = 1;
    goto LAB50;

LAB51:    t94 = *((unsigned int *)t104);
    t95 = *((unsigned int *)t84);
    *((unsigned int *)t104) = (t94 | t95);
    t85 = (t40 + 4U);
    t86 = (t88 + 4U);
    t96 = *((unsigned int *)t40);
    t97 = (~(t96));
    t98 = *((unsigned int *)t85);
    t99 = (~(t98));
    t100 = *((unsigned int *)t88);
    t101 = (~(t100));
    t102 = *((unsigned int *)t86);
    t103 = (~(t102));
    t145 = (t97 & t99);
    t149 = (t101 & t103);
    t105 = (~(t145));
    t106 = (~(t149));
    t107 = *((unsigned int *)t84);
    *((unsigned int *)t84) = (t107 & t105);
    t111 = *((unsigned int *)t84);
    *((unsigned int *)t84) = (t111 & t106);
    t112 = *((unsigned int *)t104);
    *((unsigned int *)t104) = (t112 & t105);
    t113 = *((unsigned int *)t104);
    *((unsigned int *)t104) = (t113 & t106);
    goto LAB53;

LAB54:    *((unsigned int *)t118) = 1;
    goto LAB57;

LAB56:    *((unsigned int *)t118) = 1;
    *((unsigned int *)t87) = 1;
    goto LAB57;

LAB58:    t91 = (t1 + 1644);