static void work_a_0832606739_2725559894_p_1(char *t0)
{
char *t1;
char *t2;
char *t3;
char *t4;
unsigned char t5;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
char *t16;
LAB0: xsi_set_current_line(278, ng0);
t1 = (t0 + 1032U);
t2 = *((char **)t1);
t1 = (t0 + 6268U);
t3 = (t0 + 1192U);
t4 = *((char **)t3);
t3 = (t0 + 6284U);
t5 = ieee_p_0774719531_sub_1742983514_2162500114(IEEE_P_0774719531, t2, t1, t4, t3);
if (t5 != 0)
goto LAB3;
LAB4:
LAB5: t11 = (t0 + 3984);
t12 = (t11 + 56U);
t13 = *((char **)t12);
t14 = (t13 + 56U);
t15 = *((char **)t14);
*((unsigned char *)t15) = (unsigned char)2;
xsi_driver_first_trans_fast(t11);
LAB2: t16 = (t0 + 3824);
*((int *)t16) = 1;
LAB1: return;
LAB3: t6 = (t0 + 3984);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
*((unsigned char *)t10) = (unsigned char)3;
xsi_driver_first_trans_fast(t6);
goto LAB2;
LAB6: goto LAB2;
}
static void work_a_1196643129_1516540902_p_0(char *t0)
{
char t15[16];
char *t1;
char *t2;
char *t3;
int t4;
char *t5;
int t6;
char *t7;
int t8;
char *t9;
int t10;
char *t11;
int t12;
char *t13;
int64 t14;
char *t16;
char *t17;
char *t18;
char *t19;
char *t20;
char *t21;
char *t22;
char *t23;
char *t24;
char *t25;
unsigned char t26;
LAB0:
xsi_set_current_line(36, ng0);
t1 = (t0 + 592U);
t2 = *((char **)t1);
t1 = ((WORK_P_2247078152) + 1964U);
t3 = *((char **)t1);
t4 = xsi_mem_cmp(t3, t2, 3U);
if (t4 == 1)
goto LAB3;
LAB9:
t1 = ((WORK_P_2247078152) + 2032U);
t5 = *((char **)t1);
t6 = xsi_mem_cmp(t5, t2, 3U);
if (t6 == 1)
goto LAB4;
LAB10:
t1 = ((WORK_P_2247078152) + 2100U);
t7 = *((char **)t1);
t8 = xsi_mem_cmp(t7, t2, 3U);
if (t8 == 1)
goto LAB5;
LAB11:
t1 = ((WORK_P_2247078152) + 2168U);
t9 = *((char **)t1);
t10 = xsi_mem_cmp(t9, t2, 3U);
if (t10 == 1)
goto LAB6;
LAB12:
t1 = ((WORK_P_2247078152) + 2236U);
t11 = *((char **)t1);
t12 = xsi_mem_cmp(t11, t2, 3U);
if (t12 == 1)
goto LAB7;
LAB13:
LAB8:
xsi_set_current_line(57, ng0);
t1 = (t0 + 1292U);
t2 = *((char **)t1);
t14 = *((int64 *)t2);
t1 = xsi_get_transient_memory(32U);
memset(t1, 0, 32U);
t3 = t1;
memset(t3, (unsigned char)8, 32U);
t5 = (t0 + 2392);
t7 = (t5 + 32U);
t9 = *((char **)t7);
t11 = (t9 + 40U);
t13 = *((char **)t11);
memcpy(t13, t1, 32U);
xsi_driver_first_trans_delta(t5, 0U, 32U, t14);
t16 = (t0 + 2392);
xsi_driver_intertial_reject(t16, t14, t14);
LAB2:
t1 = (t0 + 2332);
*((int *)t1) = 1;
LAB1:
return;
LAB3:
xsi_set_current_line(38, ng0);
t1 = (t0 + 1224U);
t13 = *((char **)t1);
t14 = *((int64 *)t13);
t1 = (t0 + 684U);
t16 = *((char **)t1);
t1 = (t0 + 4008U);
t17 = (t0 + 776U);
t18 = *((char **)t17);
t17 = (t0 + 4024U);
t19 = ieee_p_0774719531_sub_767668596_2162500114(IEEE_P_0774719531, t15, t16, t1, t18, t17);
t20 = (t0 + 2392);
t21 = (t20 + 32U);
t22 = *((char **)t21);
t23 = (t22 + 40U);
t24 = *((char **)t23);
memcpy(t24, t19, 32U);
xsi_driver_first_trans_delta(t20, 0U, 32U, t14);
t25 = (t0 + 2392);
xsi_driver_intertial_reject(t25, t14, t14);
goto LAB2;
LAB4:
xsi_set_current_line(41, ng0);
t1 = (t0 + 1224U);
t2 = *((char **)t1);
t14 = *((int64 *)t2);
t1 = (t0 + 684U);
t3 = *((char **)t1);
t1 = (t0 + 4008U);
t5 = (t0 + 776U);
t7 = *((char **)t5);
t5 = (t0 + 4024U);
t9 = ieee_p_0774719531_sub_767740470_2162500114(IEEE_P_0774719531, t15, t3, t1, t7, t5);
t11 = (t0 + 2392);
t13 = (t11 + 32U);
t16 = *((char **)t13);
t17 = (t16 + 40U);
t18 = *((char **)t17);
memcpy(t18, t9, 32U);
xsi_driver_first_trans_delta(t11, 0U, 32U, t14);
t19 = (t0 + 2392);
xsi_driver_intertial_reject(t19, t14, t14);
goto LAB2;
LAB5:
xsi_set_current_line(44, ng0);
t1 = (t0 + 1292U);
t2 = *((char **)t1);
t14 = *((int64 *)t2);
t1 = (t0 + 684U);
t3 = *((char **)t1);
t1 = (t0 + 4008U);
t5 = (t0 + 776U);
t7 = *((char **)t5);
t5 = (t0 + 4024U);
t9 = ieee_p_2592010699_sub_795620321_503743352(IEEE_P_2592010699, t15, t3, t1, t7, t5);
t11 = (t0 + 2392);
t13 = (t11 + 32U);
t16 = *((char **)t13);
t17 = (t16 + 40U);
t18 = *((char **)t17);
memcpy(t18, t9, 32U);
xsi_driver_first_trans_delta(t11, 0U, 32U, t14);
t19 = (t0 + 2392);
xsi_driver_intertial_reject(t19, t14, t14);
goto LAB2;
LAB6:
xsi_set_current_line(47, ng0);
t1 = (t0 + 1292U);
t2 = *((char **)t1);
t14 = *((int64 *)t2);
t1 = (t0 + 684U);
t3 = *((char **)t1);
t1 = (t0 + 4008U);
t5 = (t0 + 776U);
t7 = *((char **)t5);
t5 = (t0 + 4024U);
t9 = ieee_p_2592010699_sub_1735675855_503743352(IEEE_P_2592010699, t15, t3, t1, t7, t5);
t11 = (t0 + 2392);
t13 = (t11 + 32U);
t16 = *((char **)t13);
t17 = (t16 + 40U);
t18 = *((char **)t17);
memcpy(t18, t9, 32U);
xsi_driver_first_trans_delta(t11, 0U, 32U, t14);
t19 = (t0 + 2392);
xsi_driver_intertial_reject(t19, t14, t14);
goto LAB2;
LAB7:
xsi_set_current_line(50, ng0);
t1 = (t0 + 684U);
t2 = *((char **)t1);
t1 = (t0 + 4008U);
t3 = (t0 + 776U);
t5 = *((char **)t3);
t3 = (t0 + 4024U);
t26 = ieee_p_0774719531_sub_1742983514_2162500114(IEEE_P_0774719531, t2, t1, t5, t3);
if (t26 != 0)
goto LAB15;
LAB17:
xsi_set_current_line(53, ng0);
t1 = (t0 + 1224U);
t2 = *((char **)t1);
t14 = *((int64 *)t2);
t1 = (t0 + 4232);
t5 = (t0 + 2392);
t7 = (t5 + 32U);
t9 = *((char **)t7);
t11 = (t9 + 40U);
t13 = *((char **)t11);
memcpy(t13, t1, 32U);
xsi_driver_first_trans_delta(t5, 0U, 32U, t14);
t16 = (t0 + 2392);
xsi_driver_intertial_reject(t16, t14, t14);
LAB16:
goto LAB2;
LAB14:
;
LAB15:
xsi_set_current_line(51, ng0);
t7 = (t0 + 1224U);
t9 = *((char **)t7);
t14 = *((int64 *)t9);
t7 = (t0 + 4200);
t13 = (t0 + 2392);
t16 = (t13 + 32U);
t17 = *((char **)t16);
t18 = (t17 + 40U);
t19 = *((char **)t18);
memcpy(t19, t7, 32U);
xsi_driver_first_trans_delta(t13, 0U, 32U, t14);
t20 = (t0 + 2392);
xsi_driver_intertial_reject(t20, t14, t14);
goto LAB16;
}
static void work_a_1810650608_3212880686_p_3(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(58, 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 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_1742983514_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_1742983514_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(63, ng0);
t3 = (t0 + 776U);
t4 = *((char **)t3);
t3 = (t0 + 2820);
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 + 2652);
*((int *)t3) = 1;
LAB1: return;
LAB2: xsi_set_current_line(59, ng0);
t24 = (t0 + 592U);
t25 = *((char **)t24);
t24 = (t0 + 2820);
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_1742983514_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_1742983514_2162500114(IEEE_P_0774719531, t20, t19, t22, t21);
t13 = t23;
goto LAB13;
LAB14: xsi_set_current_line(61, ng0);
t24 = (t0 + 684U);
t25 = *((char **)t24);
t24 = (t0 + 2820);
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_1742983514_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_1742983514_2162500114(IEEE_P_0774719531, t20, t19, t22, t21);
t13 = t23;
goto LAB24;
}
static void work_a_0832606739_3212880686_p_0(char *t0)
{
char t17[16];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
int t6;
int t7;
char *t8;
char *t9;
int t10;
char *t11;
char *t12;
int t13;
char *t14;
char *t15;
int t16;
char *t18;
char *t19;
char *t20;
char *t21;
char *t22;
char *t23;
unsigned int t24;
unsigned int t25;
unsigned char t26;
char *t27;
char *t28;
char *t29;
char *t30;
char *t31;
LAB0: xsi_set_current_line(52, ng0);
t1 = (t0 + 2104);
t2 = (t1 + 32U);
t3 = *((char **)t2);
t4 = (t3 + 40U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)2;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(53, ng0);
t1 = (t0 + 776U);
t2 = *((char **)t1);
t1 = (t0 + 3987);
t6 = xsi_mem_cmp(t1, t2, 3U);
if (t6 == 1)
goto LAB3;
LAB9: t4 = (t0 + 3990);
t7 = xsi_mem_cmp(t4, t2, 3U);
if (t7 == 1)
goto LAB4;
LAB10: t8 = (t0 + 3993);
t10 = xsi_mem_cmp(t8, t2, 3U);
if (t10 == 1)
goto LAB5;
LAB11: t11 = (t0 + 3996);
t13 = xsi_mem_cmp(t11, t2, 3U);
if (t13 == 1)
goto LAB6;
LAB12: t14 = (t0 + 3999);
t16 = xsi_mem_cmp(t14, t2, 3U);
if (t16 == 1)
goto LAB7;
LAB13:
LAB8: xsi_set_current_line(71, ng0);
t1 = (t0 + 4010);
t3 = (t0 + 2140);
t4 = (t3 + 32U);
t5 = *((char **)t4);
t8 = (t5 + 40U);
t9 = *((char **)t8);
memcpy(t9, t1, 8U);
xsi_driver_first_trans_fast(t3);
LAB2: t1 = (t0 + 2052);
*((int *)t1) = 1;
LAB1: return;
LAB3: xsi_set_current_line(55, ng0);
t18 = (t0 + 592U);
t19 = *((char **)t18);
t18 = (t0 + 3872U);
t20 = (t0 + 684U);
t21 = *((char **)t20);
t20 = (t0 + 3888U);
t22 = ieee_p_0774719531_sub_767668596_2162500114(IEEE_P_0774719531, t17, t19, t18, t21, t20);
t23 = (t17 + 12U);
t24 = *((unsigned int *)t23);
t25 = (1U * t24);
t26 = (8U != t25);
if (t26 == 1)
goto LAB15;
LAB16: t27 = (t0 + 2140);
t28 = (t27 + 32U);
t29 = *((char **)t28);
t30 = (t29 + 40U);
t31 = *((char **)t30);
memcpy(t31, t22, 8U);
xsi_driver_first_trans_fast(t27);
goto LAB2;
LAB4: xsi_set_current_line(57, ng0);
t1 = (t0 + 592U);
t2 = *((char **)t1);
t1 = (t0 + 3872U);
t3 = (t0 + 684U);
t4 = *((char **)t3);
t3 = (t0 + 3888U);
t5 = ieee_p_0774719531_sub_767740470_2162500114(IEEE_P_0774719531, t17, t2, t1, t4, t3);
t8 = (t17 + 12U);
t24 = *((unsigned int *)t8);
t25 = (1U * t24);
t26 = (8U != t25);
if (t26 == 1)
goto LAB17;
LAB18: t9 = (t0 + 2140);
t11 = (t9 + 32U);
t12 = *((char **)t11);
t14 = (t12 + 40U);
t15 = *((char **)t14);
memcpy(t15, t5, 8U);
xsi_driver_first_trans_fast(t9);
xsi_set_current_line(58, ng0);
t1 = (t0 + 592U);
t2 = *((char **)t1);
t1 = (t0 + 3872U);
t3 = (t0 + 684U);
t4 = *((char **)t3);
t3 = (t0 + 3888U);
t5 = ieee_p_0774719531_sub_767740470_2162500114(IEEE_P_0774719531, t17, t2, t1, t4, t3);
t26 = ieee_p_0774719531_sub_2546418145_2162500114(IEEE_P_0774719531, t5, t17, 0);
if (t26 != 0)
goto LAB19;
LAB21:
LAB20: goto LAB2;
LAB5: xsi_set_current_line(62, ng0);
t1 = (t0 + 592U);
t2 = *((char **)t1);
t1 = (t0 + 3872U);
t3 = (t0 + 684U);
t4 = *((char **)t3);
t3 = (t0 + 3888U);
t5 = ieee_p_2592010699_sub_795620321_503743352(IEEE_P_2592010699, t17, t2, t1, t4, t3);
t8 = (t17 + 12U);
t24 = *((unsigned int *)t8);
t25 = (1U * t24);
t26 = (8U != t25);
if (t26 == 1)
goto LAB22;
LAB23: t9 = (t0 + 2140);
t11 = (t9 + 32U);
t12 = *((char **)t11);
t14 = (t12 + 40U);
t15 = *((char **)t14);
memcpy(t15, t5, 8U);
xsi_driver_first_trans_fast(t9);
goto LAB2;
LAB6: xsi_set_current_line(64, ng0);
t1 = (t0 + 592U);
t2 = *((char **)t1);
t1 = (t0 + 3872U);
t3 = (t0 + 684U);
t4 = *((char **)t3);
t3 = (t0 + 3888U);
t5 = ieee_p_2592010699_sub_1735675855_503743352(IEEE_P_2592010699, t17, t2, t1, t4, t3);
t8 = (t17 + 12U);
t24 = *((unsigned int *)t8);
t25 = (1U * t24);
t26 = (8U != t25);
if (t26 == 1)
goto LAB24;
LAB25: t9 = (t0 + 2140);
t11 = (t9 + 32U);
t12 = *((char **)t11);
t14 = (t12 + 40U);
t15 = *((char **)t14);
memcpy(t15, t5, 8U);
xsi_driver_first_trans_fast(t9);
goto LAB2;
LAB7: xsi_set_current_line(66, ng0);
t1 = (t0 + 4002);
t3 = (t0 + 2140);
t4 = (t3 + 32U);
t5 = *((char **)t4);
t8 = (t5 + 40U);
t9 = *((char **)t8);
memcpy(t9, t1, 8U);
xsi_driver_first_trans_fast(t3);
xsi_set_current_line(67, ng0);
t1 = (t0 + 592U);
t2 = *((char **)t1);
t1 = (t0 + 3872U);
t3 = (t0 + 684U);
t4 = *((char **)t3);
t3 = (t0 + 3888U);
t26 = ieee_p_0774719531_sub_1742983514_2162500114(IEEE_P_0774719531, t2, t1, t4, t3);
if (t26 != 0)
goto LAB26;
LAB28:
LAB27: goto LAB2;
LAB14:;
LAB15: xsi_size_not_matching(8U, t25, 0);
goto LAB16;
LAB17: xsi_size_not_matching(8U, t25, 0);
goto LAB18;
LAB19: xsi_set_current_line(59, ng0);
t8 = (t0 + 2104);
t9 = (t8 + 32U);
t11 = *((char **)t9);
t12 = (t11 + 40U);
t14 = *((char **)t12);
*((unsigned char *)t14) = (unsigned char)3;
xsi_driver_first_trans_fast_port(t8);
goto LAB20;
LAB22: xsi_size_not_matching(8U, t25, 0);
goto LAB23;
LAB24: xsi_size_not_matching(8U, t25, 0);
goto LAB25;
LAB26: xsi_set_current_line(68, ng0);
t5 = (t0 + 2104);
t8 = (t5 + 32U);
t9 = *((char **)t8);
t11 = (t9 + 40U);
t12 = *((char **)t11);
*((unsigned char *)t12) = (unsigned char)3;
xsi_driver_first_trans_fast_port(t5);
goto LAB27;
}
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;
}
