unsigned int t366;
    int t367;
    int t368;
    unsigned int t369;
    unsigned int t370;
    unsigned int t371;
    unsigned int t372;
    unsigned int t373;
    unsigned int t374;
    char *t376;
    char *t377;
    unsigned int t378;
    unsigned int t379;
    unsigned int t380;
    unsigned int t381;
    unsigned int t382;
    char *t383;
    unsigned int t384;
    unsigned int t385;
    unsigned int t386;
    char *t387;
    char *t388;
    char *t389;
    char *t391;
    char *t392;
    char *t393;
    char *t394;
    char *t395;
    char *t396;
    char *t397;
    char *t399;
    char *t401;
    char *t403;
    char *t404;
    char *t405;
    unsigned int t406;
    unsigned int t407;
    unsigned int t408;
    unsigned int t409;
    unsigned int t410;
    unsigned int t411;
    unsigned int t412;
    unsigned int t413;
    unsigned int t414;
    unsigned int t415;
    unsigned int t416;
    unsigned int t417;
    char *t419;
    char *t420;
    unsigned int t421;
    unsigned int t422;
    unsigned int t423;
    unsigned int t424;
    unsigned int t425;
    unsigned int t427;
    unsigned int t428;
    unsigned int t429;
    char *t430;
    char *t431;
    char *t432;
    unsigned int t433;
    unsigned int t434;
    unsigned int t435;
    unsigned int t436;
    unsigned int t437;
    unsigned int t438;
    unsigned int t439;
    char *t440;
    char *t441;
    unsigned int t442;
    unsigned int t443;
    unsigned int t444;
    unsigned int t445;
    unsigned int t446;
    unsigned int t447;
    unsigned int t448;
    unsigned int t449;
    int t450;
    int t451;
    unsigned int t452;
    unsigned int t453;
    unsigned int t454;
    unsigned int t455;
    unsigned int t456;
    unsigned int t457;
    char *t459;
    char *t460;
    unsigned int t461;
    unsigned int t462;
    unsigned int t463;
    unsigned int t464;
    unsigned int t465;
    char *t466;
    unsigned int t467;
    unsigned int t468;
    unsigned int t469;
    char *t470;
    char *t471;
    char *t472;
    char *t474;
    char *t475;
    char *t476;
    char *t477;
    char *t478;
    char *t479;
    char *t480;
    char *t482;
    char *t484;
    char *t486;
    char *t487;
    char *t488;
    unsigned int t489;
    unsigned int t490;
    unsigned int t491;
    unsigned int t492;
    unsigned int t493;
    unsigned int t494;
    unsigned int t495;
    unsigned int t496;
    unsigned int t497;
    unsigned int t498;
    unsigned int t499;
    unsigned int t500;
    char *t502;
    char *t503;
    unsigned int t504;
    unsigned int t505;
    unsigned int t506;
    unsigned int t507;
    unsigned int t508;
    unsigned int t510;
    unsigned int t511;
    unsigned int t512;
    char *t513;
    char *t514;
    char *t515;
    unsigned int t516;
    unsigned int t517;
    unsigned int t518;
    unsigned int t519;
    unsigned int t520;
    unsigned int t521;
    unsigned int t522;
    char *t523;
    char *t524;
    unsigned int t525;
    unsigned int t526;
    unsigned int t527;
    unsigned int t528;
    unsigned int t529;
    unsigned int t530;
    unsigned int t531;
    unsigned int t532;
    int t533;
    int t534;
    unsigned int t535;
    unsigned int t536;
    unsigned int t537;
    unsigned int t538;
    unsigned int t539;
    unsigned int t540;
    char *t542;
    char *t543;
    unsigned int t544;
    unsigned int t545;
    unsigned int t546;
    unsigned int t547;
    unsigned int t548;
    char *t549;
    unsigned int t550;
    unsigned int t551;
    unsigned int t552;
    char *t553;
    char *t554;
    char *t555;
    char *t557;
    char *t558;
    char *t559;
    char *t560;
    char *t561;
    char *t562;
    char *t563;
    char *t565;
    char *t567;
    char *t569;
    char *t570;
    char *t571;
    unsigned int t572;
    unsigned int t573;
    unsigned int t574;
    unsigned int t575;
    unsigned int t576;
    unsigned int t577;
    unsigned int t578;
    unsigned int t579;
    unsigned int t580;
    unsigned int t581;
    unsigned int t582;
    unsigned int t583;
    char *t585;
    char *t586;
    unsigned int t587;
    unsigned int t588;
    unsigned int t589;
    unsigned int t590;
    unsigned int t591;
    unsigned int t593;
    unsigned int t594;
    unsigned int t595;
    char *t596;
    char *t597;
    char *t598;
    unsigned int t599;
    unsigned int t600;
    unsigned int t601;
    unsigned int t602;
    unsigned int t603;
    unsigned int t604;
    unsigned int t605;
    char *t606;
    char *t607;
    unsigned int t608;
    unsigned int t609;
    unsigned int t610;
    unsigned int t611;
    unsigned int t612;
    unsigned int t613;
    unsigned int t614;
    unsigned int t615;
    int t616;
    int t617;
    unsigned int t618;
    unsigned int t619;
    unsigned int t620;
    unsigned int t621;
    unsigned int t622;
    unsigned int t623;
    char *t625;
    char *t626;
    unsigned int t627;
    unsigned int t628;
    unsigned int t629;
    unsigned int t630;
    unsigned int t631;
    char *t632;
    unsigned int t633;
    unsigned int t634;
    unsigned int t635;
    char *t636;
    char *t637;
    char *t638;
    char *t639;
    char *t642;
    char *t643;
    unsigned int t644;
    unsigned int t645;
    unsigned int t646;
    unsigned int t647;
    unsigned int t648;
    unsigned int t650;
    unsigned int t651;
    unsigned int t652;
    char *t653;
    char *t654;
    char *t655;
    unsigned int t656;
    unsigned int t657;
    unsigned int t658;
    unsigned int t659;
    unsigned int t660;
    unsigned int t661;
    unsigned int t662;
    char *t663;
    char *t664;
    unsigned int t665;
    unsigned int t666;
    unsigned int t667;
    unsigned int t668;
    unsigned int t669;
    unsigned int t670;
    unsigned int t671;
    unsigned int t672;
    int t673;
    int t674;
    unsigned int t675;
    unsigned int t676;
    unsigned int t677;
    unsigned int t678;
    unsigned int t679;
    unsigned int t680;
    char *t681;
    unsigned int t682;
    unsigned int t683;
    unsigned int t684;
    unsigned int t685;
    unsigned int t686;
    char *t687;
    char *t688;

LAB0:    t0 = 1;

LAB2:    t3 = ((char*)((ng1)));
    t4 = (t1 + 5224);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 32);
    t3 = (t1 + 1160);
    t4 = *((char **)t3);
    t3 = (t1 + 5132);
    xsi_vlogvar_assign_value(t3, t4, 0, 0, 32);

LAB3:    t3 = (t1 + 5132);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    t6 = ((char*)((ng1)));
    memset(t7, 0, 8);
    xsi_vlog_signed_greater(t7, 32, t5, 32, t6, 32);
    t8 = (t7 + 4U);
    t9 = *((unsigned int *)t8);
    t10 = (~(t9));
    t11 = *((unsigned int *)t7);
    t12 = (t11 & t10);
    t13 = (t12 != 0);
    if (t13 > 0)
        goto LAB4;

LAB5:    t3 = (t1 + 5224);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    t6 = ((char*)((ng1)));
    memset(t7, 0, 8);
    xsi_vlog_signed_equal(t7, 32, t5, 32, t6, 32);
    t8 = (t7 + 4U);
    t9 = *((unsigned int *)t8);
    t10 = (~(t9));
    t11 = *((unsigned int *)t7);
    t12 = (t11 & t10);
    t13 = (t12 != 0);
    if (t13 > 0)
        goto LAB154;

LAB155:
LAB163:    t3 = (t1 + 1160);
    t4 = *((char **)t3);
    t3 = (t1 + 5132);
    xsi_vlogvar_assign_value(t3, t4, 0, 0, 32);

LAB164:    t3 = (t1 + 5132);
    t4 = (t3 + 32U);
    t5 = *((char **)t4);
    t6 = ((char*)((ng1)));
    memset(t7, 0, 8);
    xsi_vlog_signed_greater(t7, 32, t5, 32, t6, 32);
    t8 = (t7 + 4U);
    t9 = *((unsigned int *)t8);
    t10 = (~(t9));
    t11 = *((unsigned int *)t7);
    t12 = (t11 & t10);
    t13 = (t12 != 0);
    if (t13 > 0)
        goto LAB165;

LAB166:
LAB156:    t0 = 0;

LAB1:    return t0;
LAB4:
LAB6:    t14 = (t1 + 5040);
    t15 = (t14 + 32U);
    t16 = *((char **)t15);
    t18 = (t1 + 5040);
    t19 = (t18 + 40U);
    t20 = *((char **)t19);
    t21 = (t1 + 5132);
    t22 = (t21 + 32U);
    t23 = *((char **)t22);
    t24 = ((char*)((ng2)));
    memset(t25, 0, 8);
    xsi_vlog_signed_multiply(t25, 32, t23, 32, t24, 32);
    xsi_vlog_generic_get_index_select_value(t17, 32, t16, t20, 2, t25, 32, 1);
    t26 = ((char*)((ng1)));
    memset(t27, 0, 8);
    t28 = (t27 + 4U);
    t29 = (t17 + 4U);
    t30 = (t26 + 4U);
    t31 = *((unsigned int *)t17);
    t32 = *((unsigned int *)t26);
    t33 = (t31 ^ t32);
    t34 = *((unsigned int *)t29);
    t35 = *((unsigned int *)t30);
    t36 = (t34 ^ t35);
    t37 = (t33 | t36);
    t38 = *((unsigned int *)t29);
    t39 = *((unsigned int *)t30);
    t40 = (t38 | t39);
    t41 = (~(t40));
    t42 = (t37 & t41);
    if (t42 != 0)
        goto LAB10;

LAB7:    if (t40 != 0)
        goto LAB9;

LAB8:    *((unsigned int *)t27) = 1;

LAB10:    memset(t43, 0, 8);
    t44 = (t43 + 4U);
    t45 = (t27 + 4U);
    t46 = *((unsigned int *)t45);
    t47 = (~(t46));
    t48 = *((unsigned int *)t27);
    t49 = (t48 & t47);
    t50 = (t49 & 1U);
    if (t50 != 0)
        goto LAB11;

LAB12:    if (*((unsigned int *)t45) != 0)
        goto LAB13;

LAB14:    t51 = (t43 + 4U);
    t52 = *((unsigned int *)t43);
    t53 = *((unsigned int *)t51);
    t54 = (t52 || t53);
    if (t54 > 0)
        goto LAB15;

LAB16:    memcpy(t94, t43, 8);

LAB17:    memset(t126, 0, 8);
    t127 = (t126 + 4U);
    t128 = (t94 + 4U);
    t129 = *((unsigned int *)t128);
    t130 = (~(t129));
    t131 = *((unsigned int *)t94);
    t132 = (t131 & t130);
    t133 = (t132 & 1U);
    if (t133 != 0)
        goto LAB29;

LAB30:    if (*((unsigned int *)t128) != 0)
        goto LAB31;

LAB32:    t134 = (t126 + 4U);
    t135 = *((unsigned int *)t126);
    t136 = *((unsigned int *)t134);
    t137 = (t135 || t136);
    if (t137 > 0)
        goto LAB33;

LAB34:    memcpy(t177, t126, 8);

LAB35:    memset(t209, 0, 8);
    t210 = (t209 + 4U);
    t211 = (t177 + 4U);
    t212 = *((unsigned int *)t211);
    t213 = (~(t212));
    t214 = *((unsigned int *)t177);
    t215 = (t214 & t213);
    t216 = (t215 & 1U);
    if (t216 != 0)
        goto LAB47;

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

LAB50:    t217 = (t209 + 4U);
    t218 = *((unsigned int *)t209);
    t219 = *((unsigned int *)t217);
    t220 = (t218 || t219);
    if (t220 > 0)
        goto LAB51;

LAB52:    memcpy(t260, t209, 8);

LAB53:    memset(t292, 0, 8);
    t293 = (t292 + 4U);
    t294 = (t260 + 4U);
    t295 = *((unsigned int *)t294);
    t296 = (~(t295));
    t297 = *((unsigned int *)t260);
    t298 = (t297 & t296);
    t299 = (t298 & 1U);
    if (t299 != 0)
        goto LAB65;

LAB66:    if (*((unsigned int *)t294) != 0)
        goto LAB67;

LAB68:    t300 = (t292 + 4U);
    t301 = *((unsigned int *)t292);
    t302 = *((unsigned int *)t300);
    t303 = (t301 || t302);
    if (t303 > 0)
        goto LAB69;

LAB70:    memcpy(t343, t292, 8);

LAB71:    memset(t375, 0, 8);
    t376 = (t375 + 4U);
    t377 = (t343 + 4U);
    t378 = *((unsigned int *)t377);
    t379 = (~(t378));
    t380 = *((unsigned int *)t343);
    t381 = (t380 & t379);
    t382 = (t381 & 1U);
    if (t382 != 0)
        goto LAB83;

LAB84:    if (*((unsigned int *)t377) != 0)
        goto LAB85;

LAB86:    t383 = (t375 + 4U);
    t384 = *((unsigned int *)t375);
    t385 = *((unsigned int *)t383);
    t386 = (t384 || t385);
    if (t386 > 0)
        goto LAB87;

LAB88:    memcpy(t426, t375, 8);

LAB89:    memset(t458, 0, 8);
    t459 = (t458 + 4U);
    t460 = (t426 + 4U);
    t461 = *((unsigned int *)t460);
    t462 = (~(t461));
    t463 = *((unsigned int *)t426);
    t464 = (t463 & t462);
    t465 = (t464 & 1U);
    if (t465 != 0)