static void Initial_58_0(char *t0)
{
char *t1;
char *t2;
char *t3;
LAB0: t1 = (t0 + 4128U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(58, ng0);
LAB4: xsi_set_current_line(60, ng0);
t2 = ((char*)((ng1)));
t3 = (t0 + 2728);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(61, ng0);
t2 = ((char*)((ng2)));
t3 = (t0 + 2888);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(62, ng0);
t2 = ((char*)((ng1)));
t3 = (t0 + 3048);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(63, ng0);
t2 = ((char*)((ng2)));
t3 = (t0 + 3208);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(65, ng0);
t2 = (t0 + 3936);
xsi_process_wait(t2, 100000LL);
*((char **)t1) = &&LAB5;
LAB1: return;
LAB5: xsi_set_current_line(69, ng0);
t2 = (t0 + 3936);
xsi_process_wait(t2, 500000LL);
*((char **)t1) = &&LAB6;
goto LAB1;
LAB6: xsi_set_current_line(69, ng0);
xsi_vlog_stop(1);
goto LAB1;
}
static void Initial_16_1(char *t0)
{
char *t1;
char *t2;
char *t3;
unsigned int t4;
unsigned int t5;
unsigned int t6;
int t7;
char *t8;
char *t9;
char *t10;
char *t11;
LAB0: t1 = (t0 + 2768U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(16, ng0);
LAB4: xsi_set_current_line(17, ng0);
t2 = ((char*)((ng2)));
t3 = (t0 + 1448);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(19, ng0);
t2 = ((char*)((ng3)));
t3 = (t2 + 4);
t4 = *((unsigned int *)t3);
t5 = (~(t4));
t6 = *((unsigned int *)t2);
t7 = (t6 & t5);
t8 = (t0 + 5240);
*((int *)t8) = t7;
LAB5: t9 = (t0 + 5240);
if (*((int *)t9) > 0)
goto LAB6;
LAB7: xsi_set_current_line(22, ng0);
t2 = ((char*)((ng1)));
t3 = (t0 + 1448);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(24, ng0);
t2 = ((char*)((ng4)));
t3 = (t2 + 4);
t4 = *((unsigned int *)t3);
t5 = (~(t4));
t6 = *((unsigned int *)t2);
t7 = (t6 & t5);
t8 = (t0 + 5244);
*((int *)t8) = t7;
LAB9: t9 = (t0 + 5244);
if (*((int *)t9) > 0)
goto LAB10;
LAB11: xsi_set_current_line(29, ng0);
xsi_vlog_stop(1);
LAB1: return;
LAB6: xsi_set_current_line(20, ng0);
t10 = (t0 + 3584);
*((int *)t10) = 1;
t11 = (t0 + 2800);
*((char **)t11) = t10;
*((char **)t1) = &&LAB8;
goto LAB1;
LAB8: t2 = (t0 + 5240);
t7 = *((int *)t2);
*((int *)t2) = (t7 - 1);
goto LAB5;
LAB10: xsi_set_current_line(25, ng0);
t10 = (t0 + 3600);
*((int *)t10) = 1;
t11 = (t0 + 2800);
*((char **)t11) = t10;
*((char **)t1) = &&LAB12;
goto LAB1;
LAB12: t2 = (t0 + 5244);
t7 = *((int *)t2);
*((int *)t2) = (t7 - 1);
goto LAB9;
}
static void Initial_62_0(char *t0)
{
char t5[8];
char *t1;
char *t2;
char *t3;
char *t4;
char *t6;
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;
LAB0: t1 = (t0 + 2732U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(62, ng0);
LAB4: xsi_set_current_line(63, ng0);
t2 = (t0 + 2632);
xsi_process_wait(t2, 5000LL);
*((char **)t1) = &&LAB5;
LAB1: return;
LAB5: xsi_set_current_line(64, ng0);
t3 = ((char*)((ng1)));
t4 = (t0 + 2024);
xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);
xsi_set_current_line(65, ng0);
t2 = ((char*)((ng1)));
t3 = (t0 + 2116);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(66, ng0);
t2 = ((char*)((ng1)));
t3 = (t0 + 1840);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(67, ng0);
t2 = (t0 + 2632);
xsi_process_wait(t2, 10000LL);
*((char **)t1) = &&LAB6;
goto LAB1;
LAB6: xsi_set_current_line(68, ng0);
t3 = ((char*)((ng2)));
t4 = (t0 + 2024);
xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);
xsi_set_current_line(69, ng0);
t2 = ((char*)((ng2)));
t3 = (t0 + 2116);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(70, ng0);
t2 = ((char*)((ng2)));
t3 = (t0 + 1840);
xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
xsi_set_current_line(72, ng0);
LAB7: xsi_set_current_line(72, ng0);
t2 = (t0 + 2632);
xsi_process_wait(t2, 10000LL);
*((char **)t1) = &&LAB8;
goto LAB1;
LAB8: xsi_set_current_line(72, ng0);
t3 = (t0 + 1840);
t4 = (t3 + 36U);
t6 = *((char **)t4);
memset(t5, 0, 8);
t7 = (t6 + 4);
t8 = *((unsigned int *)t7);
t9 = (~(t8));
t10 = *((unsigned int *)t6);
t11 = (t10 & t9);
t12 = (t11 & 1U);
if (t12 != 0)
goto LAB12;
LAB10: if (*((unsigned int *)t7) == 0)
goto LAB9;
LAB11: t13 = (t5 + 4);
*((unsigned int *)t5) = 1;
*((unsigned int *)t13) = 1;
LAB12: t14 = (t5 + 4);
t15 = (t6 + 4);
t16 = *((unsigned int *)t6);
t17 = (~(t16));
*((unsigned int *)t5) = t17;
*((unsigned int *)t14) = 0;
if (*((unsigned int *)t15) != 0)
goto LAB14;
LAB13: t22 = *((unsigned int *)t5);
*((unsigned int *)t5) = (t22 & 1U);
t23 = *((unsigned int *)t14);
*((unsigned int *)t14) = (t23 & 1U);
t24 = (t0 + 1840);
xsi_vlogvar_assign_value(t24, t5, 0, 0, 1);
goto LAB7;
LAB9: *((unsigned int *)t5) = 1;
goto LAB12;
LAB14: t18 = *((unsigned int *)t5);
t19 = *((unsigned int *)t15);
*((unsigned int *)t5) = (t18 | t19);
t20 = *((unsigned int *)t14);
t21 = *((unsigned int *)t15);
*((unsigned int *)t14) = (t20 | t21);
goto LAB13;
LAB15: xsi_set_current_line(73, ng0);
t2 = (t0 + 2632);
xsi_process_wait(t2, 100000LL);
*((char **)t1) = &&LAB16;
goto LAB1;
LAB16: xsi_set_current_line(73, ng0);
xsi_vlog_stop(1);
goto LAB1;
}
