static void work_a_2466477690_3212880686_p_5(char *t0)
{
char t12[16];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
unsigned char t7;
char *t8;
char *t9;
char *t10;
unsigned char t11;
int t13;
unsigned int t14;
char *t15;
unsigned int t16;
static char *nl0[] = {&&LAB3, &&LAB5, &&LAB4};
LAB0: xsi_set_current_line(68, ng0);
t1 = (t0 + 4048);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 40U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(69, ng0);
t1 = (t0 + 4084);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 40U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(70, ng0);
t1 = (t0 + 1420U);
t2 = *((char **)t1);
t1 = (t0 + 4120);
t3 = (t1 + 32U);
t4 = *((char **)t3);
t5 = (t4 + 40U);
t6 = *((char **)t5);
memcpy(t6, t2, 12U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(71, ng0);
t1 = (t0 + 2064U);
t2 = *((char **)t1);
t1 = (t0 + 4156);
t3 = (t1 + 32U);
t4 = *((char **)t3);
t5 = (t4 + 40U);
t6 = *((char **)t5);
memcpy(t6, t2, 7U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(72, ng0);
t1 = (t0 + 1236U);
t2 = *((char **)t1);
t7 = *((unsigned char *)t2);
t1 = (t0 + 4192);
t3 = (t1 + 32U);
t4 = *((char **)t3);
t5 = (t4 + 40U);
t6 = *((char **)t5);
*((unsigned char *)t6) = t7;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(74, ng0);
t1 = (t0 + 1236U);
t2 = *((char **)t1);
t7 = *((unsigned char *)t2);
t1 = (char *)((nl0) + t7);
goto **((char **)t1);
LAB2: t1 = (t0 + 3680);
*((int *)t1) = 1;
LAB1: return;
LAB3: xsi_set_current_line(76, ng0);
t3 = xsi_get_transient_memory(12U);
memset(t3, 0, 12U);
t4 = t3;
memset(t4, (unsigned char)2, 12U);
t5 = (t0 + 4120);
t6 = (t5 + 32U);
t8 = *((char **)t6);
t9 = (t8 + 40U);
t10 = *((char **)t9);
memcpy(t10, t3, 12U);
xsi_driver_first_trans_fast(t5);
xsi_set_current_line(77, ng0);
t1 = xsi_get_transient_memory(7U);
memset(t1, 0, 7U);
t2 = t1;
memset(t2, (unsigned char)2, 7U);
t3 = (t0 + 4156);
t4 = (t3 + 32U);
t5 = *((char **)t4);
t6 = (t5 + 40U);
t8 = *((char **)t6);
memcpy(t8, t1, 7U);
xsi_driver_first_trans_fast(t3);
xsi_set_current_line(78, ng0);
t1 = (t0 + 1144U);
t2 = *((char **)t1);
t7 = *((unsigned char *)t2);
t11 = (t7 == (unsigned char)3);
if (t11 != 0)
goto LAB6;
LAB8:
LAB7: goto LAB2;
LAB4: xsi_set_current_line(83, ng0);
t1 = (t0 + 2064U);
t2 = *((char **)t1);
t1 = (t0 + 6536U);
t3 = (t0 + 6607);
t5 = (t12 + 0U);
t6 = (t5 + 0U);
*((int *)t6) = 0;
t6 = (t5 + 4U);
*((int *)t6) = 6;
t6 = (t5 + 8U);
*((int *)t6) = 1;
t13 = (6 - 0);
t14 = (t13 * 1);
t14 = (t14 + 1);
t6 = (t5 + 12U);
*((unsigned int *)t6) = t14;
t7 = ieee_p_0774719531_sub_2698824431_2162500114(IEEE_P_0774719531, t2, t1, t3, t12);
if (t7 != 0)
goto LAB9;
LAB11: xsi_set_current_line(88, ng0);
t1 = (t0 + 2064U);
t2 = *((char **)t1);
t1 = (t0 + 6536U);
t3 = ieee_p_0774719531_sub_436279890_2162500114(IEEE_P_0774719531, t12, t2, t1, 1);
t4 = (t12 + 12U);
t14 = *((unsigned int *)t4);
t16 = (1U * t14);
t7 = (7U != t16);
if (t7 == 1)
goto LAB12;
LAB13: t5 = (t0 + 4156);
t6 = (t5 + 32U);
t8 = *((char **)t6);
t9 = (t8 + 40U);
t10 = *((char **)t9);
memcpy(t10, t3, 7U);
xsi_driver_first_trans_fast(t5);
LAB10: goto LAB2;
LAB5: xsi_set_current_line(92, ng0);
t1 = (t0 + 1420U);
t2 = *((char **)t1);
t1 = (t0 + 6520U);
t3 = (t0 + 6614);
t5 = (t12 + 0U);
t6 = (t5 + 0U);
*((int *)t6) = 0;
t6 = (t5 + 4U);
*((int *)t6) = 11;
t6 = (t5 + 8U);
*((int *)t6) = 1;
t13 = (11 - 0);
t14 = (t13 * 1);
t14 = (t14 + 1);
t6 = (t5 + 12U);
*((unsigned int *)t6) = t14;
t7 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t2, t1, t3, t12);
if (t7 != 0)
goto LAB14;
LAB16: xsi_set_current_line(97, ng0);
t1 = (t0 + 1420U);
t2 = *((char **)t1);
t1 = (t0 + 6520U);
t3 = ieee_p_0774719531_sub_436279890_2162500114(IEEE_P_0774719531, t12, t2, t1, 1);
t4 = (t12 + 12U);
t14 = *((unsigned int *)t4);
t16 = (1U * t14);
t7 = (12U != t16);
if (t7 == 1)
goto LAB17;
LAB18: t5 = (t0 + 4120);
t6 = (t5 + 32U);
t8 = *((char **)t6);
t9 = (t8 + 40U);
t10 = *((char **)t9);
memcpy(t10, t3, 12U);
xsi_driver_first_trans_fast(t5);
xsi_set_current_line(98, ng0);
t1 = (t0 + 4192);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 40U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
LAB15: goto LAB2;
LAB6: xsi_set_current_line(79, ng0);
t1 = (t0 + 4192);
t3 = (t1 + 32U);
t4 = *((char **)t3);
t5 = (t4 + 40U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
goto LAB7;
LAB9: xsi_set_current_line(84, ng0);
t6 = (t0 + 4192);
t8 = (t6 + 32U);
t9 = *((char **)t8);
t10 = (t9 + 40U);
t15 = *((char **)t10);
*((unsigned char *)t15) = (unsigned char)1;
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(85, ng0);
t1 = (t0 + 4048);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 40U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(86, ng0);
t1 = xsi_get_transient_memory(7U);
memset(t1, 0, 7U);
t2 = t1;
memset(t2, (unsigned char)2, 7U);
t3 = (t0 + 4156);
t4 = (t3 + 32U);
t5 = *((char **)t4);
t6 = (t5 + 40U);
t8 = *((char **)t6);
memcpy(t8, t1, 7U);
xsi_driver_first_trans_fast(t3);
goto LAB10;
LAB12: xsi_size_not_matching(7U, t16, 0);
goto LAB13;
LAB14: xsi_set_current_line(94, ng0);
t6 = (t0 + 4084);
t8 = (t6 + 32U);
t9 = *((char **)t8);
t10 = (t9 + 40U);
t15 = *((char **)t10);
*((unsigned char *)t15) = (unsigned char)3;
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(95, ng0);
t1 = (t0 + 4192);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 40U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)0;
xsi_driver_first_trans_fast(t1);
goto LAB15;
LAB17: xsi_size_not_matching(12U, t16, 0);
goto LAB18;
}
extern void work_a_2466477690_3212880686_init()
{
static char *pe[] = {(void *)work_a_2466477690_3212880686_p_0,(void *)work_a_2466477690_3212880686_p_1,(void *)work_a_2466477690_3212880686_p_2,(void *)work_a_2466477690_3212880686_p_3,(void *)work_a_2466477690_3212880686_p_4,(void *)work_a_2466477690_3212880686_p_5};
xsi_register_didat("work_a_2466477690_3212880686", "isim/fsm_tb_isim_beh.exe.sim/work/a_2466477690_3212880686.didat");
xsi_register_executes(pe);
}
static void work_a_1810650608_3212880686_p_4(char *t0)
{
unsigned char t1;
unsigned char t2;
char *t3;
char *t4;
char *t5;
char *t6;
unsigned char t7;
char *t8;
char *t9;
char *t10;
char *t11;
unsigned char t12;
unsigned char t13;
char *t14;
char *t15;
char *t16;
char *t17;
unsigned char t18;
char *t19;
char *t20;
char *t21;
char *t22;
unsigned char t23;
char *t24;
char *t25;
char *t26;
char *t27;
char *t28;
char *t29;
LAB0: xsi_set_current_line(69, ng0);
t3 = (t0 + 592U);
t4 = *((char **)t3);
t3 = (t0 + 4612U);
t5 = (t0 + 684U);
t6 = *((char **)t5);
t5 = (t0 + 4628U);
t7 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t4, t3, t6, t5);
if (t7 == 1)
goto LAB8;
LAB9: t2 = (unsigned char)0;
LAB10: if (t2 == 1)
goto LAB5;
LAB6: t14 = (t0 + 592U);
t15 = *((char **)t14);
t14 = (t0 + 4612U);
t16 = (t0 + 776U);
t17 = *((char **)t16);
t16 = (t0 + 4644U);
t18 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t15, t14, t17, t16);
if (t18 == 1)
goto LAB11;
LAB12: t13 = (unsigned char)0;
LAB13: t1 = t13;
LAB7: if (t1 != 0)
goto LAB2;
LAB4: t3 = (t0 + 684U);
t4 = *((char **)t3);
t3 = (t0 + 4628U);
t5 = (t0 + 592U);
t6 = *((char **)t5);
t5 = (t0 + 4612U);
t7 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t4, t3, t6, t5);
if (t7 == 1)
goto LAB19;
LAB20: t2 = (unsigned char)0;
LAB21: if (t2 == 1)
goto LAB16;
LAB17: t14 = (t0 + 684U);
t15 = *((char **)t14);
t14 = (t0 + 4628U);
t16 = (t0 + 776U);
t17 = *((char **)t16);
t16 = (t0 + 4644U);
t18 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t15, t14, t17, t16);
if (t18 == 1)
goto LAB22;
LAB23: t13 = (unsigned char)0;
LAB24: t1 = t13;
LAB18: if (t1 != 0)
goto LAB14;
LAB15: xsi_set_current_line(74, ng0);
t3 = (t0 + 776U);
t4 = *((char **)t3);
t3 = (t0 + 2856);
t5 = (t3 + 32U);
t6 = *((char **)t5);
t8 = (t6 + 40U);
t9 = *((char **)t8);
memcpy(t9, t4, 8U);
xsi_driver_first_trans_fast_port(t3);
LAB3: t3 = (t0 + 2660);
*((int *)t3) = 1;
LAB1: return;
LAB2: xsi_set_current_line(70, ng0);
t24 = (t0 + 592U);
t25 = *((char **)t24);
t24 = (t0 + 2856);
t26 = (t24 + 32U);
t27 = *((char **)t26);
t28 = (t27 + 40U);
t29 = *((char **)t28);
memcpy(t29, t25, 8U);
xsi_driver_first_trans_fast_port(t24);
goto LAB3;
LAB5: t1 = (unsigned char)1;
goto LAB7;
LAB8: t8 = (t0 + 684U);
t9 = *((char **)t8);
t8 = (t0 + 4628U);
t10 = (t0 + 776U);
t11 = *((char **)t10);
t10 = (t0 + 4644U);
t12 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t9, t8, t11, t10);
t2 = t12;
goto LAB10;
LAB11: t19 = (t0 + 776U);
t20 = *((char **)t19);
t19 = (t0 + 4644U);
t21 = (t0 + 684U);
t22 = *((char **)t21);
t21 = (t0 + 4628U);
t23 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t20, t19, t22, t21);
t13 = t23;
goto LAB13;
LAB14: xsi_set_current_line(72, ng0);
t24 = (t0 + 684U);
t25 = *((char **)t24);
t24 = (t0 + 2856);
t26 = (t24 + 32U);
t27 = *((char **)t26);
t28 = (t27 + 40U);
t29 = *((char **)t28);
memcpy(t29, t25, 8U);
xsi_driver_first_trans_fast_port(t24);
goto LAB3;
LAB16: t1 = (unsigned char)1;
goto LAB18;
LAB19: t8 = (t0 + 592U);
t9 = *((char **)t8);
t8 = (t0 + 4612U);
t10 = (t0 + 776U);
t11 = *((char **)t10);
t10 = (t0 + 4644U);
t12 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t9, t8, t11, t10);
t2 = t12;
goto LAB21;
LAB22: t19 = (t0 + 776U);
t20 = *((char **)t19);
t19 = (t0 + 4644U);
t21 = (t0 + 592U);
t22 = *((char **)t21);
t21 = (t0 + 4612U);
t23 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t20, t19, t22, t21);
t13 = t23;
goto LAB24;
}
static void work_a_2089732261_3212880686_p_5(char *t0)
{
char t12[16];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
unsigned char t7;
char *t8;
char *t9;
char *t10;
unsigned char t11;
int t13;
unsigned int t14;
char *t15;
unsigned int t16;
static char *nl0[] = {&&LAB3, &&LAB4};
LAB0: xsi_set_current_line(73, ng0);
t1 = (t0 + 3828);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 40U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(74, ng0);
t1 = (t0 + 3864);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 40U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(75, ng0);
t1 = (t0 + 1420U);
t2 = *((char **)t1);
t1 = (t0 + 3900);
t3 = (t1 + 32U);
t4 = *((char **)t3);
t5 = (t4 + 40U);
t6 = *((char **)t5);
memcpy(t6, t2, 12U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(77, ng0);
t1 = (t0 + 1236U);
t2 = *((char **)t1);
t7 = *((unsigned char *)t2);
t1 = (char *)((nl0) + t7);
goto **((char **)t1);
LAB2: t1 = (t0 + 3496);
*((int *)t1) = 1;
LAB1: return;
LAB3: xsi_set_current_line(79, ng0);
t3 = xsi_get_transient_memory(12U);
memset(t3, 0, 12U);
t4 = t3;
memset(t4, (unsigned char)2, 12U);
t5 = (t0 + 3900);
t6 = (t5 + 32U);
t8 = *((char **)t6);
t9 = (t8 + 40U);
t10 = *((char **)t9);
memcpy(t10, t3, 12U);
xsi_driver_first_trans_fast(t5);
xsi_set_current_line(80, ng0);
t1 = (t0 + 1144U);
t2 = *((char **)t1);
t7 = *((unsigned char *)t2);
t11 = (t7 == (unsigned char)3);
if (t11 != 0)
goto LAB6;
LAB8: xsi_set_current_line(83, ng0);
t1 = (t0 + 3936);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 40U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)0;
xsi_driver_first_trans_fast(t1);
LAB7: goto LAB2;
LAB4: xsi_set_current_line(87, ng0);
t1 = (t0 + 1420U);
t2 = *((char **)t1);
t1 = (t0 + 6004U);
t3 = (t0 + 6061);
t5 = (t12 + 0U);
t6 = (t5 + 0U);
*((int *)t6) = 0;
t6 = (t5 + 4U);
*((int *)t6) = 11;
t6 = (t5 + 8U);
*((int *)t6) = 1;
t13 = (11 - 0);
t14 = (t13 * 1);
t14 = (t14 + 1);
t6 = (t5 + 12U);
*((unsigned int *)t6) = t14;
t7 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t2, t1, t3, t12);
if (t7 != 0)
goto LAB9;
LAB11: xsi_set_current_line(92, ng0);
t1 = (t0 + 1420U);
t2 = *((char **)t1);
t1 = (t0 + 6004U);
t3 = ieee_p_0774719531_sub_436279890_2162500114(IEEE_P_0774719531, t12, t2, t1, 1);
t4 = (t12 + 12U);
t14 = *((unsigned int *)t4);
t16 = (1U * t14);
t7 = (12U != t16);
if (t7 == 1)
goto LAB12;
LAB13: t5 = (t0 + 3900);
t6 = (t5 + 32U);
t8 = *((char **)t6);
t9 = (t8 + 40U);
t10 = *((char **)t9);
memcpy(t10, t3, 12U);
xsi_driver_first_trans_fast(t5);
xsi_set_current_line(93, ng0);
t1 = (t0 + 3828);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 40U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(94, ng0);
t1 = (t0 + 3936);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 40U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)1;
xsi_driver_first_trans_fast(t1);
LAB10: goto LAB2;
LAB5: xsi_set_current_line(98, ng0);
t1 = (t0 + 3936);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 40U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)0;
xsi_driver_first_trans_fast(t1);
goto LAB2;
LAB6: xsi_set_current_line(81, ng0);
t1 = (t0 + 3936);
t3 = (t1 + 32U);
t4 = *((char **)t3);
t5 = (t4 + 40U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)1;
xsi_driver_first_trans_fast(t1);
goto LAB7;
LAB9: xsi_set_current_line(89, ng0);
t6 = (t0 + 3864);
t8 = (t6 + 32U);
t9 = *((char **)t8);
t10 = (t9 + 40U);
t15 = *((char **)t10);
*((unsigned char *)t15) = (unsigned char)3;
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(90, ng0);
t1 = (t0 + 3936);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 40U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)0;
xsi_driver_first_trans_fast(t1);
goto LAB10;
LAB12: xsi_size_not_matching(12U, t16, 0);
goto LAB13;
}
extern void work_a_2089732261_3212880686_init()
{
static char *pe[] = {(void *)work_a_2089732261_3212880686_p_0,(void *)work_a_2089732261_3212880686_p_1,(void *)work_a_2089732261_3212880686_p_2,(void *)work_a_2089732261_3212880686_p_3,(void *)work_a_2089732261_3212880686_p_4,(void *)work_a_2089732261_3212880686_p_5};
xsi_register_didat("work_a_2089732261_3212880686", "isim/proyecto_tb_isim_beh.exe.sim/work/a_2089732261_3212880686.didat");
xsi_register_executes(pe);
}
static void work_a_1810650608_3212880686_p_2(char *t0)
{
unsigned char t1;
unsigned char t2;
char *t3;
char *t4;
char *t5;
char *t6;
unsigned char t7;
char *t8;
char *t9;
char *t10;
char *t11;
unsigned char t12;
unsigned char t13;
char *t14;
char *t15;
char *t16;
char *t17;
unsigned char t18;
char *t19;
char *t20;
char *t21;
char *t22;
unsigned char t23;
char *t24;
char *t25;
char *t26;
char *t27;
char *t28;
char *t29;
unsigned char t30;
unsigned char t31;
char *t32;
char *t33;
char *t34;
char *t35;
unsigned char t36;
char *t37;
char *t38;
char *t39;
char *t40;
unsigned char t41;
unsigned char t42;
char *t43;
char *t44;
char *t45;
char *t46;
unsigned char t47;
char *t48;
char *t49;
char *t50;
char *t51;
unsigned char t52;
char *t53;
char *t54;
char *t55;
char *t56;
char *t57;
char *t58;
char *t59;
char *t60;
char *t61;
char *t62;
char *t63;
char *t64;
char *t65;
LAB0: xsi_set_current_line(51, ng0);
t3 = (t0 + 592U);
t4 = *((char **)t3);
t3 = (t0 + 4612U);
t5 = (t0 + 684U);
t6 = *((char **)t5);
t5 = (t0 + 4628U);
t7 = ieee_p_0774719531_sub_1742983514_2162500114(IEEE_P_0774719531, t4, t3, t6, t5);
if (t7 == 1)
goto LAB8;
LAB9: t2 = (unsigned char)0;
LAB10: if (t2 == 1)
goto LAB5;
LAB6: t14 = (t0 + 592U);
t15 = *((char **)t14);
t14 = (t0 + 4612U);
t16 = (t0 + 776U);
t17 = *((char **)t16);
t16 = (t0 + 4644U);
t18 = ieee_p_0774719531_sub_1742983514_2162500114(IEEE_P_0774719531, t15, t14, t17, t16);
if (t18 == 1)
goto LAB11;
LAB12: t13 = (unsigned char)0;
LAB13: t1 = t13;
LAB7: if (t1 != 0)
goto LAB3;
LAB4: t32 = (t0 + 684U);
t33 = *((char **)t32);
t32 = (t0 + 4628U);
t34 = (t0 + 592U);
t35 = *((char **)t34);
t34 = (t0 + 4612U);
t36 = ieee_p_0774719531_sub_1742983514_2162500114(IEEE_P_0774719531, t33, t32, t35, t34);
if (t36 == 1)
goto LAB19;
LAB20: t31 = (unsigned char)0;
LAB21: if (t31 == 1)
goto LAB16;
LAB17: t43 = (t0 + 684U);
t44 = *((char **)t43);
t43 = (t0 + 4628U);
t45 = (t0 + 776U);
t46 = *((char **)t45);
t45 = (t0 + 4644U);
t47 = ieee_p_0774719531_sub_1742983514_2162500114(IEEE_P_0774719531, t44, t43, t46, t45);
if (t47 == 1)
goto LAB22;
LAB23: t42 = (unsigned char)0;
LAB24: t30 = t42;
LAB18: if (t30 != 0)
goto LAB14;
LAB15:
LAB25: t59 = (t0 + 776U);
t60 = *((char **)t59);
t59 = (t0 + 2784);
t61 = (t59 + 32U);
t62 = *((char **)t61);
t63 = (t62 + 40U);
t64 = *((char **)t63);
memcpy(t64, t60, 8U);
xsi_driver_first_trans_fast_port(t59);
LAB2: t65 = (t0 + 2644);
*((int *)t65) = 1;
LAB1: return;
LAB3: t24 = (t0 + 592U);
t25 = *((char **)t24);
t24 = (t0 + 2784);
t26 = (t24 + 32U);
t27 = *((char **)t26);
t28 = (t27 + 40U);
t29 = *((char **)t28);
memcpy(t29, t25, 8U);
xsi_driver_first_trans_fast_port(t24);
goto LAB2;
LAB5: t1 = (unsigned char)1;
goto LAB7;
LAB8: t8 = (t0 + 592U);
t9 = *((char **)t8);
t8 = (t0 + 4612U);
t10 = (t0 + 776U);
t11 = *((char **)t10);
t10 = (t0 + 4644U);
t12 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t9, t8, t11, t10);
t2 = t12;
goto LAB10;
LAB11: t19 = (t0 + 592U);
t20 = *((char **)t19);
t19 = (t0 + 4612U);
t21 = (t0 + 684U);
t22 = *((char **)t21);
t21 = (t0 + 4628U);
t23 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t20, t19, t22, t21);
t13 = t23;
goto LAB13;
LAB14: t53 = (t0 + 684U);
t54 = *((char **)t53);
t53 = (t0 + 2784);
t55 = (t53 + 32U);
t56 = *((char **)t55);
t57 = (t56 + 40U);
t58 = *((char **)t57);
memcpy(t58, t54, 8U);
xsi_driver_first_trans_fast_port(t53);
goto LAB2;
LAB16: t30 = (unsigned char)1;
goto LAB18;
LAB19: t37 = (t0 + 684U);
t38 = *((char **)t37);
t37 = (t0 + 4628U);
t39 = (t0 + 776U);
t40 = *((char **)t39);
t39 = (t0 + 4644U);
t41 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t38, t37, t40, t39);
t31 = t41;
goto LAB21;
LAB22: t48 = (t0 + 684U);
t49 = *((char **)t48);
t48 = (t0 + 4628U);
t50 = (t0 + 592U);
t51 = *((char **)t50);
t50 = (t0 + 4612U);
t52 = ieee_p_0774719531_sub_2698860368_2162500114(IEEE_P_0774719531, t49, t48, t51, t50);
t42 = t52;
goto LAB24;
LAB26: goto LAB2;
}
