static void Initial_37_0(char *t0)
{
char t15[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t16;
char *t17;
char *t18;
char *t19;
char *t20;
char *t21;
LAB0: t1 = (t0 + 4768U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(37, ng0);
t2 = (t0 + 5072);
t3 = (t0 + 4576);
xsi_add_process_toexecute(0, t2, t3);
t4 = (t0 + 5320);
t5 = (t0 + 4576);
xsi_add_process_toexecute(0, t4, t5);
t6 = (t0 + 5568);
t7 = (t0 + 4576);
xsi_add_process_toexecute(0, t6, t7);
t8 = (t0 + 5816);
t9 = (t0 + 4576);
xsi_add_process_toexecute(0, t8, t9);
t10 = (t0 + 6064);
t11 = (t0 + 4576);
xsi_add_process_toexecute(0, t10, t11);
t12 = (t0 + 6312);
t13 = (t0 + 4576);
xsi_add_process_toexecute(0, t12, t13);
t14 = (t0 + 3208);
memset(t15, 0, 8);
*((unsigned int *)t15) = 6;
xsi_vlogvar_assign_value(t14, t15, 0, 0, 32);
t16 = (t0 + 8560);
*((int *)t16) = 1;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4: t17 = (t0 + 3208);
t18 = (t17 + 56U);
t19 = *((char **)t18);
if (*((int *)t19) > 0)
goto LAB5;
LAB6: t21 = (t0 + 4576);
xsi_clean_active_fork_process_list(t21);
goto LAB1;
LAB5: t20 = (t0 + 8560);
*((int *)t20) = 1;
goto LAB1;
}
static void Initial_51_0(char *t0)
{
char t7[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
LAB0: t1 = (t0 + 3968U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(51, ng0);
LAB4: xsi_set_current_line(53, ng0);
t2 = ((char*)((ng1)));
t3 = (t0 + 1608);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(54, ng0);
t2 = ((char*)((ng2)));
t3 = (t0 + 1768);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(55, ng0);
t2 = ((char*)((ng1)));
t3 = (t0 + 1928);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(56, ng0);
t2 = ((char*)((ng2)));
t3 = (t0 + 2088);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(57, ng0);
t2 = ((char*)((ng1)));
t3 = (t0 + 2248);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(58, ng0);
t2 = ((char*)((ng1)));
t3 = (t0 + 2408);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(61, ng0);
t2 = (t0 + 3776);
xsi_process_wait(t2, 100000LL);
*((char **)t1) = &&LAB5;
LAB1: return;
LAB5: xsi_set_current_line(64, ng0);
t2 = (t0 + 4024);
t3 = (t0 + 3776);
xsi_add_process_toexecute(0, t2, t3);
t4 = (t0 + 4272);
t5 = (t0 + 3776);
xsi_add_process_toexecute(0, t4, t5);
t6 = (t0 + 2568);
memset(t7, 0, 8);
*((unsigned int *)t7) = 2;
xsi_vlogvar_assign_value(t6, t7, 0, 0, 32);
t8 = (t0 + 6272);
*((int *)t8) = 1;
*((char **)t1) = &&LAB6;
goto LAB1;
LAB6: t9 = (t0 + 2568);
t10 = (t9 + 56U);
t11 = *((char **)t10);
if (*((int *)t11) > 0)
goto LAB7;
LAB8: t13 = (t0 + 3776);
xsi_clean_active_fork_process_list(t13);
xsi_set_current_line(68, ng0);
t2 = (t0 + 3776);
xsi_process_wait(t2, 100000LL);
*((char **)t1) = &&LAB9;
goto LAB1;
LAB7: t12 = (t0 + 6272);
*((int *)t12) = 1;
goto LAB1;
LAB9: xsi_set_current_line(68, ng0);
t3 = (t0 + 4520);
t4 = (t0 + 3776);
xsi_add_process_toexecute(0, t3, t4);
t5 = (t0 + 4768);
t6 = (t0 + 3776);
xsi_add_process_toexecute(0, t5, t6);
t8 = (t0 + 2728);
memset(t7, 0, 8);
*((unsigned int *)t7) = 2;
xsi_vlogvar_assign_value(t8, t7, 0, 0, 32);
t9 = (t0 + 6288);
*((int *)t9) = 1;
*((char **)t1) = &&LAB10;
goto LAB1;
LAB10: t10 = (t0 + 2728);
t11 = (t10 + 56U);
t12 = *((char **)t11);
if (*((int *)t12) > 0)
goto LAB11;
LAB12: t14 = (t0 + 3776);
xsi_clean_active_fork_process_list(t14);
xsi_set_current_line(72, ng0);
t2 = (t0 + 3776);
xsi_process_wait(t2, 100000LL);
*((char **)t1) = &&LAB13;
goto LAB1;
LAB11: t13 = (t0 + 6288);
*((int *)t13) = 1;
goto LAB1;
LAB13: xsi_set_current_line(72, ng0);
t3 = (t0 + 5016);
t4 = (t0 + 3776);
xsi_add_process_toexecute(0, t3, t4);
t5 = (t0 + 5264);
t6 = (t0 + 3776);
xsi_add_process_toexecute(0, t5, t6);
t8 = (t0 + 2888);
memset(t7, 0, 8);
*((unsigned int *)t7) = 2;
xsi_vlogvar_assign_value(t8, t7, 0, 0, 32);
t9 = (t0 + 6304);
*((int *)t9) = 1;
*((char **)t1) = &&LAB14;
goto LAB1;
LAB14: t10 = (t0 + 2888);
t11 = (t10 + 56U);
t12 = *((char **)t11);
if (*((int *)t12) > 0)
goto LAB15;
LAB16: t14 = (t0 + 3776);
xsi_clean_active_fork_process_list(t14);
xsi_set_current_line(76, ng0);
t2 = (t0 + 3776);
xsi_process_wait(t2, 100000LL);
*((char **)t1) = &&LAB17;
goto LAB1;
LAB15: t13 = (t0 + 6304);
*((int *)t13) = 1;
goto LAB1;
LAB17: xsi_set_current_line(76, ng0);
t3 = (t0 + 5512);
t4 = (t0 + 3776);
xsi_add_process_toexecute(0, t3, t4);
t5 = (t0 + 5760);
t6 = (t0 + 3776);
xsi_add_process_toexecute(0, t5, t6);
t8 = (t0 + 3048);
memset(t7, 0, 8);
*((unsigned int *)t7) = 2;
xsi_vlogvar_assign_value(t8, t7, 0, 0, 32);
t9 = (t0 + 6320);
*((int *)t9) = 1;
*((char **)t1) = &&LAB18;
goto LAB1;
LAB18: t10 = (t0 + 3048);
t11 = (t10 + 56U);
t12 = *((char **)t11);
if (*((int *)t12) > 0)
goto LAB19;
LAB20: t14 = (t0 + 3776);
xsi_clean_active_fork_process_list(t14);
goto LAB1;
LAB19: t13 = (t0 + 6320);
*((int *)t13) = 1;
goto LAB1;
}
static void Initial_46_1(char *t0)
{
char t6[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t7;
unsigned int t8;
unsigned int t9;
unsigned int t10;
unsigned int t11;
unsigned int t12;
char *t13;
char *t14;
char *t15;
unsigned int t16;
unsigned int t17;
unsigned int t18;
unsigned int t19;
unsigned int t20;
unsigned int t21;
unsigned int t22;
unsigned int t23;
char *t24;
char *t25;
char *t26;
LAB0: t1 = (t0 + 5016U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(46, ng0);
LAB4: xsi_set_current_line(47, ng0);
t2 = (t0 + 4824);
xsi_process_wait(t2, 10000LL);
*((char **)t1) = &&LAB5;
LAB1: return;
LAB5: xsi_set_current_line(48, ng0);
LAB6: xsi_set_current_line(48, ng0);
t2 = (t0 + 8576);
*((int *)t2) = 1;
t3 = (t0 + 5048);
*((char **)t3) = t2;
*((char **)t1) = &&LAB7;
goto LAB1;
LAB7: xsi_set_current_line(49, ng0);
LAB8: xsi_set_current_line(51, ng0);
t4 = (t0 + 1528U);
t5 = *((char **)t4);
t4 = (t0 + 2888);
xsi_vlogvar_assign_value(t4, t5, 0, 0, 32);
xsi_set_current_line(52, ng0);
t2 = (t0 + 2888);
t3 = (t2 + 56U);
t4 = *((char **)t3);
t5 = ((char*)((ng1)));
memset(t6, 0, 8);
xsi_vlog_unsigned_add(t6, 32, t4, 32, t5, 32);
t7 = (t0 + 2568);
xsi_vlogvar_assign_value(t7, t6, 0, 0, 32);
xsi_set_current_line(54, ng0);
t2 = (t0 + 2888);
t3 = (t2 + 56U);
t4 = *((char **)t3);
t5 = (t0 + 2408);
xsi_vlogvar_assign_value(t5, t4, 0, 0, 32);
xsi_set_current_line(55, ng0);
t2 = (t0 + 4824);
xsi_process_wait(t2, 1000LL);
*((char **)t1) = &&LAB9;
goto LAB1;
LAB9: xsi_set_current_line(55, ng0);
t3 = (t0 + 2248);
t4 = (t3 + 56U);
t5 = *((char **)t4);
memset(t6, 0, 8);
t7 = (t5 + 4);
t8 = *((unsigned int *)t7);
t9 = (~(t8));
t10 = *((unsigned int *)t5);
t11 = (t10 & t9);
t12 = (t11 & 1U);
if (t12 != 0)
goto LAB13;
LAB11: if (*((unsigned int *)t7) == 0)
goto LAB10;
LAB12: t13 = (t6 + 4);
*((unsigned int *)t6) = 1;
*((unsigned int *)t13) = 1;
LAB13: t14 = (t6 + 4);
t15 = (t5 + 4);
t16 = *((unsigned int *)t5);
t17 = (~(t16));
*((unsigned int *)t6) = t17;
*((unsigned int *)t14) = 0;
if (*((unsigned int *)t15) != 0)
goto LAB15;
LAB14: t22 = *((unsigned int *)t6);
*((unsigned int *)t6) = (t22 & 1U);
t23 = *((unsigned int *)t14);
*((unsigned int *)t14) = (t23 & 1U);
t24 = (t0 + 2248);
xsi_vlogvar_assign_value(t24, t6, 0, 0, 1);
xsi_set_current_line(56, ng0);
LAB16: t2 = (t0 + 1368U);
t3 = *((char **)t2);
t2 = (t3 + 4);
t8 = *((unsigned int *)t2);
t9 = (~(t8));
t10 = *((unsigned int *)t3);
t11 = (t10 & t9);
t12 = (t11 != 0);
if (t12 > 0)
goto LAB18;
LAB17: t4 = (t0 + 8592);
*((int *)t4) = 1;
t5 = (t0 + 5016U);
*((char **)t5) = &&LAB16;
goto LAB1;
LAB10: *((unsigned int *)t6) = 1;
goto LAB13;
LAB15: t18 = *((unsigned int *)t6);
t19 = *((unsigned int *)t15);
*((unsigned int *)t6) = (t18 | t19);
t20 = *((unsigned int *)t14);
t21 = *((unsigned int *)t15);
*((unsigned int *)t14) = (t20 | t21);
goto LAB14;
LAB18: t7 = (t0 + 8592);
*((int *)t7) = 0;
xsi_set_current_line(57, ng0);
t2 = (t0 + 6560);
t3 = (t0 + 4824);
xsi_add_process_toexecute(0, t2, t3);
t4 = (t0 + 6808);
t5 = (t0 + 4824);
xsi_add_process_toexecute(0, t4, t5);
t7 = (t0 + 3368);
memset(t6, 0, 8);
*((unsigned int *)t6) = 2;
xsi_vlogvar_assign_value(t7, t6, 0, 0, 32);
t13 = (t0 + 8608);
*((int *)t13) = 1;
*((char **)t1) = &&LAB19;
goto LAB1;
LAB19: t14 = (t0 + 3368);
t15 = (t14 + 56U);
t24 = *((char **)t15);
if (*((int *)t24) > 0)
goto LAB20;
LAB21: t26 = (t0 + 4824);
xsi_clean_active_fork_process_list(t26);
xsi_set_current_line(63, ng0);
t2 = (t0 + 2888);
t3 = (t2 + 56U);
t4 = *((char **)t3);
t5 = (t0 + 2408);
xsi_vlogvar_assign_value(t5, t4, 0, 0, 32);
xsi_set_current_line(64, ng0);
t2 = (t0 + 4824);
xsi_process_wait(t2, 1000LL);
*((char **)t1) = &&LAB22;
goto LAB1;
LAB20: t25 = (t0 + 8608);
*((int *)t25) = 1;
goto LAB1;
LAB22: xsi_set_current_line(64, ng0);
t3 = (t0 + 2248);
t4 = (t3 + 56U);
t5 = *((char **)t4);
memset(t6, 0, 8);
t7 = (t5 + 4);
t8 = *((unsigned int *)t7);
t9 = (~(t8));
t10 = *((unsigned int *)t5);
t11 = (t10 & t9);
t12 = (t11 & 1U);
if (t12 != 0)
goto LAB26;
LAB24: if (*((unsigned int *)t7) == 0)
goto LAB23;
LAB25: t13 = (t6 + 4);
*((unsigned int *)t6) = 1;
*((unsigned int *)t13) = 1;
LAB26: t14 = (t6 + 4);
t15 = (t5 + 4);
t16 = *((unsigned int *)t5);
t17 = (~(t16));
*((unsigned int *)t6) = t17;
*((unsigned int *)t14) = 0;
if (*((unsigned int *)t15) != 0)
goto LAB28;
LAB27: t22 = *((unsigned int *)t6);
*((unsigned int *)t6) = (t22 & 1U);
t23 = *((unsigned int *)t14);
*((unsigned int *)t14) = (t23 & 1U);
t24 = (t0 + 2248);
xsi_vlogvar_assign_value(t24, t6, 0, 0, 1);
xsi_set_current_line(65, ng0);
LAB29: t2 = (t0 + 1368U);
t3 = *((char **)t2);
t2 = (t3 + 4);
t8 = *((unsigned int *)t2);
t9 = (~(t8));
t10 = *((unsigned int *)t3);
t11 = (t10 & t9);
t12 = (t11 != 0);
if (t12 > 0)
goto LAB31;
LAB30: t4 = (t0 + 8624);
*((int *)t4) = 1;
t5 = (t0 + 5016U);
*((char **)t5) = &&LAB29;
goto LAB1;
LAB23: *((unsigned int *)t6) = 1;
goto LAB26;
LAB28: t18 = *((unsigned int *)t6);
t19 = *((unsigned int *)t15);
*((unsigned int *)t6) = (t18 | t19);
t20 = *((unsigned int *)t14);
t21 = *((unsigned int *)t15);
*((unsigned int *)t14) = (t20 | t21);
goto LAB27;
LAB31: t7 = (t0 + 8624);
*((int *)t7) = 0;
xsi_set_current_line(66, ng0);
t2 = (t0 + 7056);
t3 = (t0 + 4824);
xsi_add_process_toexecute(0, t2, t3);
t4 = (t0 + 7304);
t5 = (t0 + 4824);
xsi_add_process_toexecute(0, t4, t5);
t7 = (t0 + 3528);
memset(t6, 0, 8);
*((unsigned int *)t6) = 2;
xsi_vlogvar_assign_value(t7, t6, 0, 0, 32);
t13 = (t0 + 8640);
*((int *)t13) = 1;
*((char **)t1) = &&LAB32;
goto LAB1;
LAB32: t14 = (t0 + 3528);
t15 = (t14 + 56U);
t24 = *((char **)t15);
if (*((int *)t24) > 0)
goto LAB33;
LAB34: t26 = (t0 + 4824);
xsi_clean_active_fork_process_list(t26);
xsi_set_current_line(72, ng0);
t2 = (t0 + 2888);
t3 = (t2 + 56U);
t4 = *((char **)t3);
t5 = (t0 + 2408);
xsi_vlogvar_assign_value(t5, t4, 0, 0, 32);
xsi_set_current_line(73, ng0);
t2 = (t0 + 4824);
xsi_process_wait(t2, 1000LL);
*((char **)t1) = &&LAB35;
goto LAB1;
LAB33: t25 = (t0 + 8640);
*((int *)t25) = 1;
goto LAB1;
LAB35: xsi_set_current_line(73, ng0);
t3 = (t0 + 2248);
t4 = (t3 + 56U);
t5 = *((char **)t4);
memset(t6, 0, 8);
t7 = (t5 + 4);
t8 = *((unsigned int *)t7);
t9 = (~(t8));
t10 = *((unsigned int *)t5);
t11 = (t10 & t9);
t12 = (t11 & 1U);
if (t12 != 0)
goto LAB39;
LAB37: if (*((unsigned int *)t7) == 0)
goto LAB36;
LAB38: t13 = (t6 + 4);
*((unsigned int *)t6) = 1;
*((unsigned int *)t13) = 1;
LAB39: t14 = (t6 + 4);
t15 = (t5 + 4);
t16 = *((unsigned int *)t5);
t17 = (~(t16));
*((unsigned int *)t6) = t17;
*((unsigned int *)t14) = 0;
if (*((unsigned int *)t15) != 0)
goto LAB41;
LAB40: t22 = *((unsigned int *)t6);
*((unsigned int *)t6) = (t22 & 1U);
t23 = *((unsigned int *)t14);
*((unsigned int *)t14) = (t23 & 1U);
t24 = (t0 + 2248);
xsi_vlogvar_assign_value(t24, t6, 0, 0, 1);
xsi_set_current_line(74, ng0);
LAB42: t2 = (t0 + 1368U);
t3 = *((char **)t2);
t2 = (t3 + 4);
t8 = *((unsigned int *)t2);
t9 = (~(t8));
t10 = *((unsigned int *)t3);
t11 = (t10 & t9);
t12 = (t11 != 0);
if (t12 > 0)
goto LAB44;
LAB43: t4 = (t0 + 8656);
*((int *)t4) = 1;
t5 = (t0 + 5016U);
*((char **)t5) = &&LAB42;
goto LAB1;
LAB36: *((unsigned int *)t6) = 1;
goto LAB39;
LAB41: t18 = *((unsigned int *)t6);
t19 = *((unsigned int *)t15);
*((unsigned int *)t6) = (t18 | t19);
t20 = *((unsigned int *)t14);
t21 = *((unsigned int *)t15);
*((unsigned int *)t14) = (t20 | t21);
goto LAB40;
LAB44: t7 = (t0 + 8656);
*((int *)t7) = 0;
xsi_set_current_line(75, ng0);
t2 = (t0 + 7552);
t3 = (t0 + 4824);
xsi_add_process_toexecute(0, t2, t3);
t4 = (t0 + 7800);
t5 = (t0 + 4824);
xsi_add_process_toexecute(0, t4, t5);
t7 = (t0 + 3688);
memset(t6, 0, 8);
*((unsigned int *)t6) = 2;
xsi_vlogvar_assign_value(t7, t6, 0, 0, 32);
t13 = (t0 + 8672);
*((int *)t13) = 1;
*((char **)t1) = &&LAB45;
goto LAB1;
LAB45: t14 = (t0 + 3688);
t15 = (t14 + 56U);
t24 = *((char **)t15);
if (*((int *)t24) > 0)
goto LAB46;
LAB47: t26 = (t0 + 4824);
xsi_clean_active_fork_process_list(t26);
xsi_set_current_line(81, ng0);
t2 = (t0 + 2888);
t3 = (t2 + 56U);
t4 = *((char **)t3);
t5 = (t0 + 2408);
xsi_vlogvar_assign_value(t5, t4, 0, 0, 32);
xsi_set_current_line(82, ng0);
t2 = (t0 + 4824);
xsi_process_wait(t2, 1000LL);
*((char **)t1) = &&LAB48;
goto LAB1;
LAB46: t25 = (t0 + 8672);
*((int *)t25) = 1;
goto LAB1;
LAB48: xsi_set_current_line(82, ng0);
t3 = (t0 + 2248);
t4 = (t3 + 56U);
t5 = *((char **)t4);
memset(t6, 0, 8);
t7 = (t5 + 4);
t8 = *((unsigned int *)t7);
t9 = (~(t8));
t10 = *((unsigned int *)t5);
t11 = (t10 & t9);
t12 = (t11 & 1U);
if (t12 != 0)
goto LAB52;
LAB50: if (*((unsigned int *)t7) == 0)
goto LAB49;
LAB51: t13 = (t6 + 4);
*((unsigned int *)t6) = 1;
*((unsigned int *)t13) = 1;
LAB52: t14 = (t6 + 4);
t15 = (t5 + 4);
t16 = *((unsigned int *)t5);
t17 = (~(t16));
*((unsigned int *)t6) = t17;
*((unsigned int *)t14) = 0;
if (*((unsigned int *)t15) != 0)
goto LAB54;
LAB53: t22 = *((unsigned int *)t6);
*((unsigned int *)t6) = (t22 & 1U);
t23 = *((unsigned int *)t14);
*((unsigned int *)t14) = (t23 & 1U);
t24 = (t0 + 2248);
xsi_vlogvar_assign_value(t24, t6, 0, 0, 1);
xsi_set_current_line(83, ng0);
LAB55: t2 = (t0 + 1368U);
t3 = *((char **)t2);
t2 = (t3 + 4);
t8 = *((unsigned int *)t2);
t9 = (~(t8));
t10 = *((unsigned int *)t3);
t11 = (t10 & t9);
t12 = (t11 != 0);
if (t12 > 0)
goto LAB57;
LAB56: t4 = (t0 + 8688);
*((int *)t4) = 1;
t5 = (t0 + 5016U);
*((char **)t5) = &&LAB55;
goto LAB1;
LAB49: *((unsigned int *)t6) = 1;
goto LAB52;
LAB54: t18 = *((unsigned int *)t6);
t19 = *((unsigned int *)t15);
*((unsigned int *)t6) = (t18 | t19);
t20 = *((unsigned int *)t14);
t21 = *((unsigned int *)t15);
*((unsigned int *)t14) = (t20 | t21);
goto LAB53;
LAB57: t7 = (t0 + 8688);
*((int *)t7) = 0;
xsi_set_current_line(84, ng0);
t2 = (t0 + 8048);
t3 = (t0 + 4824);
xsi_add_process_toexecute(0, t2, t3);
t4 = (t0 + 3848);
memset(t6, 0, 8);
*((unsigned int *)t6) = 1;
xsi_vlogvar_assign_value(t4, t6, 0, 0, 32);
t5 = (t0 + 8704);
*((int *)t5) = 1;
*((char **)t1) = &&LAB58;
goto LAB1;
LAB58: t7 = (t0 + 3848);
t13 = (t7 + 56U);
t14 = *((char **)t13);
if (*((int *)t14) > 0)
goto LAB59;
LAB60: t24 = (t0 + 4824);
xsi_clean_active_fork_process_list(t24);
xsi_set_current_line(89, ng0);
t2 = (t0 + 2728);
t3 = (t2 + 56U);
t4 = *((char **)t3);
t5 = (t0 + 1928);
xsi_vlogvar_assign_value(t5, t4, 0, 0, 32);
xsi_set_current_line(91, ng0);
t2 = ((char*)((ng2)));
t3 = (t0 + 2088);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
goto LAB6;
LAB59: t15 = (t0 + 8704);
*((int *)t15) = 1;
goto LAB1;
LAB61: goto LAB1;
}
static void Initial_51_0(char *t0)
{
char t35[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
char *t16;
char *t17;
char *t18;
char *t19;
char *t20;
char *t21;
char *t22;
char *t23;
char *t24;
char *t25;
char *t26;
char *t27;
char *t28;
char *t29;
char *t30;
char *t31;
char *t32;
char *t33;
char *t34;
char *t36;
char *t37;
char *t38;
char *t39;
char *t40;
char *t41;
LAB0: t1 = (t0 + 3488U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(51, ng0);
t2 = (t0 + 3544);
t3 = (t0 + 3296);
xsi_add_process_toexecute(0, t2, t3);
t4 = (t0 + 3792);
t5 = (t0 + 3296);
xsi_add_process_toexecute(0, t4, t5);
t6 = (t0 + 4040);
t7 = (t0 + 3296);
xsi_add_process_toexecute(0, t6, t7);
t8 = (t0 + 4288);
t9 = (t0 + 3296);
xsi_add_process_toexecute(0, t8, t9);
t10 = (t0 + 4536);
t11 = (t0 + 3296);
xsi_add_process_toexecute(0, t10, t11);
t12 = (t0 + 4784);
t13 = (t0 + 3296);
xsi_add_process_toexecute(0, t12, t13);
t14 = (t0 + 5032);
t15 = (t0 + 3296);
xsi_add_process_toexecute(0, t14, t15);
t16 = (t0 + 5280);
t17 = (t0 + 3296);
xsi_add_process_toexecute(0, t16, t17);
t18 = (t0 + 5528);
t19 = (t0 + 3296);
xsi_add_process_toexecute(0, t18, t19);
t20 = (t0 + 5776);
t21 = (t0 + 3296);
xsi_add_process_toexecute(0, t20, t21);
t22 = (t0 + 6024);
t23 = (t0 + 3296);
xsi_add_process_toexecute(0, t22, t23);
t24 = (t0 + 6272);
t25 = (t0 + 3296);
xsi_add_process_toexecute(0, t24, t25);
t26 = (t0 + 6520);
t27 = (t0 + 3296);
xsi_add_process_toexecute(0, t26, t27);
t28 = (t0 + 6768);
t29 = (t0 + 3296);
xsi_add_process_toexecute(0, t28, t29);
t30 = (t0 + 7016);
t31 = (t0 + 3296);
xsi_add_process_toexecute(0, t30, t31);
t32 = (t0 + 7264);
t33 = (t0 + 3296);
xsi_add_process_toexecute(0, t32, t33);
t34 = (t0 + 2568);
memset(t35, 0, 8);
*((unsigned int *)t35) = 16;
xsi_vlogvar_assign_value(t34, t35, 0, 0, 32);
t36 = (t0 + 7776);
*((int *)t36) = 1;
*((char **)t1) = &&LAB4;
LAB1: return;
LAB4: t37 = (t0 + 2568);
t38 = (t37 + 56U);
t39 = *((char **)t38);
if (*((int *)t39) > 0)
goto LAB5;
LAB6: t41 = (t0 + 3296);
xsi_clean_active_fork_process_list(t41);
goto LAB1;
LAB5: t40 = (t0 + 7776);
*((int *)t40) = 1;
goto LAB1;
}
