static void work_a_3037777339_3212880686_p_10(char *t0)
{
char *t1;
char *t2;
unsigned char t3;
char *t4;
char *t5;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
LAB0: xsi_set_current_line(147, ng0);
t1 = (t0 + 2708U);
t2 = *((char **)t1);
t1 = (t0 + 9256U);
t3 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t1, 65535);
if (t3 != 0)
goto LAB3;
LAB4:
LAB5: t9 = (t0 + 6260);
t10 = (t9 + 32U);
t11 = *((char **)t10);
t12 = (t11 + 40U);
t13 = *((char **)t12);
*((unsigned char *)t13) = (unsigned char)2;
xsi_driver_first_trans_fast(t9);
LAB2: t14 = (t0 + 5752);
*((int *)t14) = 1;
LAB1: return;
LAB3: t4 = (t0 + 6260);
t5 = (t4 + 32U);
t6 = *((char **)t5);
t7 = (t6 + 40U);
t8 = *((char **)t7);
*((unsigned char *)t8) = (unsigned char)3;
xsi_driver_first_trans_fast(t4);
goto LAB2;
LAB6: goto LAB2;
}
static void work_a_0832606739_3212880686_p_2(char *t0)
{
char *t1;
char *t2;
unsigned char t3;
char *t4;
char *t5;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
LAB0: xsi_set_current_line(174, ng0);
t1 = (t0 + 1832U);
t2 = *((char **)t1);
t1 = (t0 + 6384U);
t3 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t1, 0);
if (t3 != 0)
goto LAB3;
LAB4:
LAB5: t9 = (t0 + 4048);
t10 = (t9 + 56U);
t11 = *((char **)t10);
t12 = (t11 + 56U);
t13 = *((char **)t12);
*((unsigned char *)t13) = (unsigned char)2;
xsi_driver_first_trans_fast_port(t9);
LAB2: t14 = (t0 + 3840);
*((int *)t14) = 1;
LAB1: return;
LAB3: t4 = (t0 + 4048);
t5 = (t4 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
*((unsigned char *)t8) = (unsigned char)3;
xsi_driver_first_trans_fast_port(t4);
goto LAB2;
LAB6: goto LAB2;
}
static void work_a_4280372217_3212880686_p_0(char *t0)
{
char t24[16];
char t28[16];
unsigned char t1;
char *t2;
unsigned char t3;
char *t4;
char *t5;
unsigned char t6;
unsigned char t7;
char *t8;
unsigned char t9;
unsigned char t10;
unsigned char t11;
char *t12;
unsigned char t13;
char *t14;
char *t15;
unsigned char t16;
unsigned char t17;
char *t18;
char *t19;
char *t20;
char *t21;
char *t22;
char *t23;
unsigned int t25;
unsigned int t26;
unsigned int t27;
int t29;
unsigned int t30;
unsigned int t31;
LAB0: xsi_set_current_line(90, ng0);
t2 = (t0 + 992U);
t3 = xsi_signal_has_event(t2);
if (t3 == 1)
goto LAB5;
LAB6: t1 = (unsigned char)0;
LAB7: if (t1 != 0)
goto LAB2;
LAB4:
LAB3: t2 = (t0 + 11616);
*((int *)t2) = 1;
LAB1: return;
LAB2: xsi_set_current_line(91, ng0);
t4 = (t0 + 4552U);
t8 = *((char **)t4);
t9 = *((unsigned char *)t8);
t10 = (t9 == (unsigned char)3);
if (t10 != 0)
goto LAB8;
LAB10:
LAB9: xsi_set_current_line(98, ng0);
t2 = (t0 + 1192U);
t4 = *((char **)t2);
t1 = *((unsigned char *)t4);
t3 = (t1 == (unsigned char)3);
if (t3 != 0)
goto LAB19;
LAB21:
LAB20: xsi_set_current_line(101, ng0);
t2 = (t0 + 2952U);
t4 = *((char **)t2);
t1 = *((unsigned char *)t4);
t3 = (t1 == (unsigned char)9);
if (t3 != 0)
goto LAB22;
LAB24:
LAB23: goto LAB3;
LAB5: t4 = (t0 + 1032U);
t5 = *((char **)t4);
t6 = *((unsigned char *)t5);
t7 = (t6 == (unsigned char)3);
t1 = t7;
goto LAB7;
LAB8: xsi_set_current_line(92, ng0);
t4 = (t0 + 4712U);
t12 = *((char **)t4);
t4 = (t0 + 18684U);
t13 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t12, t4, 65536);
if (t13 == 1)
goto LAB14;
LAB15: t14 = (t0 + 1192U);
t15 = *((char **)t14);
t16 = *((unsigned char *)t15);
t17 = (t16 == (unsigned char)3);
t11 = t17;
LAB16: if (t11 != 0)
goto LAB11;
LAB13: xsi_set_current_line(95, ng0);
t2 = (t0 + 4712U);
t4 = *((char **)t2);
t2 = (t0 + 18684U);
t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t24, t4, t2, 1);
t8 = (t24 + 12U);
t25 = *((unsigned int *)t8);
t26 = (1U * t25);
t1 = (17U != t26);
if (t1 == 1)
goto LAB17;
LAB18: t12 = (t0 + 11984);
t14 = (t12 + 56U);
t15 = *((char **)t14);
t18 = (t15 + 56U);
t19 = *((char **)t18);
memcpy(t19, t5, 17U);
xsi_driver_first_trans_fast(t12);
LAB12: goto LAB9;
LAB11: xsi_set_current_line(93, ng0);
t14 = xsi_get_transient_memory(17U);
memset(t14, 0, 17U);
t18 = t14;
memset(t18, (unsigned char)2, 17U);
t19 = (t0 + 11984);
t20 = (t19 + 56U);
t21 = *((char **)t20);
t22 = (t21 + 56U);
t23 = *((char **)t22);
memcpy(t23, t14, 17U);
xsi_driver_first_trans_fast(t19);
goto LAB12;
LAB14: t11 = (unsigned char)1;
goto LAB16;
LAB17: xsi_size_not_matching(17U, t26, 0);
goto LAB18;
LAB19: xsi_set_current_line(99, ng0);
t2 = (t0 + 18912);
t8 = (t0 + 12048);
t12 = (t8 + 56U);
t14 = *((char **)t12);
t15 = (t14 + 56U);
t18 = *((char **)t15);
memcpy(t18, t2, 16U);
xsi_driver_first_trans_fast(t8);
goto LAB20;
LAB22: xsi_set_current_line(102, ng0);
t2 = (t0 + 4712U);
t5 = *((char **)t2);
t25 = (16 - 15);
t26 = (t25 * 1U);
t27 = (0 + t26);
t2 = (t5 + t27);
t8 = (t28 + 0U);
t12 = (t8 + 0U);
*((int *)t12) = 15;
t12 = (t8 + 4U);
*((int *)t12) = 0;
t12 = (t8 + 8U);
*((int *)t12) = -1;
t29 = (0 - 15);
t30 = (t29 * -1);
t30 = (t30 + 1);
t12 = (t8 + 12U);
*((unsigned int *)t12) = t30;
t12 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t24, t2, t28, 1);
t14 = (t24 + 12U);
t30 = *((unsigned int *)t14);
t31 = (1U * t30);
t6 = (16U != t31);
if (t6 == 1)
goto LAB25;
LAB26: t15 = (t0 + 12048);
t18 = (t15 + 56U);
t19 = *((char **)t18);
t20 = (t19 + 56U);
t21 = *((char **)t20);
memcpy(t21, t12, 16U);
xsi_driver_first_trans_fast(t15);
goto LAB23;
LAB25: xsi_size_not_matching(16U, t31, 0);
goto LAB26;
}
static void work_a_4280372217_3212880686_p_15(char *t0)
{
char t17[16];
unsigned char t1;
char *t2;
unsigned char t3;
char *t4;
char *t5;
unsigned char t6;
unsigned char t7;
char *t8;
unsigned char t9;
char *t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
char *t16;
unsigned int t18;
unsigned int t19;
LAB0: xsi_set_current_line(253, ng0);
t2 = (t0 + 1952U);
t3 = xsi_signal_has_event(t2);
if (t3 == 1)
goto LAB5;
LAB6: t1 = (unsigned char)0;
LAB7: if (t1 != 0)
goto LAB2;
LAB4:
LAB3: t2 = (t0 + 11856);
*((int *)t2) = 1;
LAB1: return;
LAB2: xsi_set_current_line(254, ng0);
t4 = (t0 + 4232U);
t8 = *((char **)t4);
t4 = (t0 + 18652U);
t9 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t8, t4, 799);
if (t9 != 0)
goto LAB8;
LAB10: xsi_set_current_line(257, ng0);
t2 = (t0 + 4232U);
t4 = *((char **)t2);
t2 = (t0 + 18652U);
t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t17, t4, t2, 1);
t8 = (t17 + 12U);
t18 = *((unsigned int *)t8);
t19 = (1U * t18);
t1 = (10U != t19);
if (t1 == 1)
goto LAB11;
LAB12: t10 = (t0 + 13072);
t11 = (t10 + 56U);
t12 = *((char **)t11);
t13 = (t12 + 56U);
t14 = *((char **)t13);
memcpy(t14, t5, 10U);
xsi_driver_first_trans_fast(t10);
LAB9: goto LAB3;
LAB5: t4 = (t0 + 1992U);
t5 = *((char **)t4);
t6 = *((unsigned char *)t5);
t7 = (t6 == (unsigned char)3);
t1 = t7;
goto LAB7;
LAB8: xsi_set_current_line(255, ng0);
t10 = xsi_get_transient_memory(10U);
memset(t10, 0, 10U);
t11 = t10;
memset(t11, (unsigned char)2, 10U);
t12 = (t0 + 13072);
t13 = (t12 + 56U);
t14 = *((char **)t13);
t15 = (t14 + 56U);
t16 = *((char **)t15);
memcpy(t16, t10, 10U);
xsi_driver_first_trans_fast(t12);
goto LAB9;
LAB11: xsi_size_not_matching(10U, t19, 0);
goto LAB12;
}
static void work_a_4280372217_3212880686_p_13(char *t0)
{
char t20[16];
unsigned char t1;
char *t2;
unsigned char t3;
char *t4;
char *t5;
unsigned char t6;
unsigned char t7;
char *t8;
unsigned char t9;
char *t10;
char *t11;
unsigned char t12;
char *t13;
char *t14;
char *t15;
char *t16;
char *t17;
char *t18;
char *t19;
unsigned int t21;
unsigned int t22;
LAB0: xsi_set_current_line(227, ng0);
t2 = (t0 + 1952U);
t3 = xsi_signal_has_event(t2);
if (t3 == 1)
goto LAB5;
LAB6: t1 = (unsigned char)0;
LAB7: if (t1 != 0)
goto LAB2;
LAB4:
LAB3: t2 = (t0 + 11824);
*((int *)t2) = 1;
LAB1: return;
LAB2: xsi_set_current_line(228, ng0);
t4 = (t0 + 4232U);
t8 = *((char **)t4);
t4 = (t0 + 18652U);
t9 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t8, t4, 799);
if (t9 != 0)
goto LAB8;
LAB10:
LAB9: goto LAB3;
LAB5: t4 = (t0 + 1992U);
t5 = *((char **)t4);
t6 = *((unsigned char *)t5);
t7 = (t6 == (unsigned char)3);
t1 = t7;
goto LAB7;
LAB8: xsi_set_current_line(229, ng0);
t10 = (t0 + 4392U);
t11 = *((char **)t10);
t10 = (t0 + 18668U);
t12 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t11, t10, 524);
if (t12 != 0)
goto LAB11;
LAB13: xsi_set_current_line(232, ng0);
t2 = (t0 + 4392U);
t4 = *((char **)t2);
t2 = (t0 + 18668U);
t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t20, t4, t2, 1);
t8 = (t20 + 12U);
t21 = *((unsigned int *)t8);
t22 = (1U * t21);
t1 = (10U != t22);
if (t1 == 1)
goto LAB14;
LAB15: t10 = (t0 + 12944);
t11 = (t10 + 56U);
t13 = *((char **)t11);
t14 = (t13 + 56U);
t15 = *((char **)t14);
memcpy(t15, t5, 10U);
xsi_driver_first_trans_fast(t10);
LAB12: goto LAB9;
LAB11: xsi_set_current_line(230, ng0);
t13 = xsi_get_transient_memory(10U);
memset(t13, 0, 10U);
t14 = t13;
memset(t14, (unsigned char)2, 10U);
t15 = (t0 + 12944);
t16 = (t15 + 56U);
t17 = *((char **)t16);
t18 = (t17 + 56U);
t19 = *((char **)t18);
memcpy(t19, t13, 10U);
xsi_driver_first_trans_fast(t15);
goto LAB12;
LAB14: xsi_size_not_matching(10U, t22, 0);
goto LAB15;
}
static void work_a_0526130289_1516540902_p_8(char *t0)
{
char t11[16];
unsigned char t1;
char *t2;
char *t3;
unsigned char t4;
unsigned char t5;
char *t6;
int t7;
unsigned int t8;
unsigned int t9;
unsigned int t10;
char *t12;
char *t13;
int t14;
unsigned int t15;
char *t16;
int t17;
unsigned char t18;
char *t19;
char *t20;
char *t21;
char *t22;
char *t23;
char *t24;
char *t25;
char *t26;
char *t27;
char *t28;
LAB0: xsi_set_current_line(50, ng0);
t2 = (t0 + 2172U);
t3 = *((char **)t2);
t4 = *((unsigned char *)t3);
t5 = (t4 == (unsigned char)3);
if (t5 == 1)
goto LAB5;
LAB6: t1 = (unsigned char)0;
LAB7: if (t1 != 0)
goto LAB3;
LAB4:
LAB15: t23 = (t0 + 5724);
t24 = (t23 + 32U);
t25 = *((char **)t24);
t26 = (t25 + 40U);
t27 = *((char **)t26);
*((unsigned char *)t27) = (unsigned char)2;
xsi_driver_first_trans_delta(t23, 7U, 1, 0LL);
LAB2: t28 = (t0 + 5384);
*((int *)t28) = 1;
LAB1: return;
LAB3: t13 = (t0 + 5724);
t19 = (t13 + 32U);
t20 = *((char **)t19);
t21 = (t20 + 40U);
t22 = *((char **)t21);
*((unsigned char *)t22) = (unsigned char)3;
xsi_driver_first_trans_delta(t13, 7U, 1, 0LL);
goto LAB2;
LAB5: t2 = (t0 + 1896U);
t6 = *((char **)t2);
if (12 > 0)
goto LAB8;
LAB9: if (-1 == -1)
goto LAB13;
LAB14: t7 = 0;
LAB10: t8 = (12 - t7);
t9 = (t8 * 1U);
t10 = (0 + t9);
t2 = (t6 + t10);
t12 = (t11 + 0U);
t13 = (t12 + 0U);
*((int *)t13) = 12;
t13 = (t12 + 4U);
*((int *)t13) = 10;
t13 = (t12 + 8U);
*((int *)t13) = -1;
t14 = (10 - 12);
t15 = (t14 * -1);
t15 = (t15 + 1);
t13 = (t12 + 12U);
*((unsigned int *)t13) = t15;
t13 = (t0 + 3280U);
t16 = *((char **)t13);
t17 = *((int *)t16);
t18 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t11, t17);
t1 = t18;
goto LAB7;
LAB8: if (-1 == 1)
goto LAB11;
LAB12: t7 = 12;
goto LAB10;
LAB11: t7 = 0;
goto LAB10;
LAB13: t7 = 12;
goto LAB10;
LAB16: goto LAB2;
}
static void work_a_3037777339_3212880686_p_11(char *t0)
{
char t1[16];
char t5[16];
char *t2;
char *t3;
char *t4;
char *t6;
char *t7;
char *t8;
char *t9;
unsigned char t10;
char *t11;
char *t12;
char *t13;
char *t14;
char *t15;
char *t16;
char *t17;
char *t18;
char *t19;
char *t20;
char *t21;
LAB0: xsi_set_current_line(148, ng0);
t2 = (t0 + 2064U);
t3 = *((char **)t2);
t2 = (t0 + 1880U);
t4 = *((char **)t2);
t6 = ((IEEE_P_2592010699) + 2332);
t7 = (t0 + 9224U);
t8 = (t0 + 9208U);
t2 = xsi_base_array_concat(t2, t5, t6, (char)97, t3, t7, (char)97, t4, t8, (char)101);
t9 = ieee_p_2592010699_sub_1837678034_503743352(IEEE_P_2592010699, t1, t2, t5);
t10 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t9, t1, 0);
if (t10 != 0)
goto LAB3;
LAB4:
LAB5: t16 = (t0 + 6296);
t17 = (t16 + 32U);
t18 = *((char **)t17);
t19 = (t18 + 40U);
t20 = *((char **)t19);
*((unsigned char *)t20) = (unsigned char)2;
xsi_driver_first_trans_fast(t16);
LAB2: t21 = (t0 + 5760);
*((int *)t21) = 1;
LAB1: return;
LAB3: t11 = (t0 + 6296);
t12 = (t11 + 32U);
t13 = *((char **)t12);
t14 = (t13 + 40U);
t15 = *((char **)t14);
*((unsigned char *)t15) = (unsigned char)3;
xsi_driver_first_trans_fast(t11);
goto LAB2;
LAB6: goto LAB2;
}
static void work_a_0308195381_2372691052_p_0(char *t0)
{
char t15[16];
char t16[16];
char t19[16];
char *t1;
char *t2;
unsigned char t3;
unsigned char t4;
char *t5;
char *t6;
char *t7;
char *t8;
char *t9;
char *t10;
char *t11;
unsigned int t12;
unsigned int t13;
unsigned int t14;
int t17;
unsigned int t18;
int t20;
char *t21;
char *t22;
char *t23;
char *t24;
static char *nl0[] = {&&LAB8, &&LAB9, &&LAB10, &&LAB11, &&LAB12, &&LAB13, &&LAB14};
LAB0: xsi_set_current_line(230, ng0);
t1 = (t0 + 2892U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)3);
if (t4 != 0)
goto LAB2;
LAB4: t1 = (t0 + 2776U);
t3 = ieee_p_2592010699_sub_1744673427_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t3 != 0)
goto LAB5;
LAB6:
LAB3: t1 = (t0 + 5092);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(231, ng0);
t1 = (t0 + 5136);
t5 = (t1 + 32U);
t6 = *((char **)t5);
t7 = (t6 + 32U);
t8 = *((char **)t7);
*((unsigned char *)t8) = (unsigned char)0;
xsi_driver_first_trans_fast(t1);
goto LAB3;
LAB5: xsi_set_current_line(233, ng0);
t2 = (t0 + 5172);
t5 = (t2 + 32U);
t6 = *((char **)t5);
t7 = (t6 + 32U);
t8 = *((char **)t7);
*((unsigned char *)t8) = (unsigned char)2;
xsi_driver_first_trans_fast(t2);
xsi_set_current_line(234, ng0);
t1 = (t0 + 5208);
t2 = (t1 + 32U);
t5 = *((char **)t2);
t6 = (t5 + 32U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(235, ng0);
t1 = (t0 + 5244);
t2 = (t1 + 32U);
t5 = *((char **)t2);
t6 = (t5 + 32U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(236, ng0);
t1 = (t0 + 3444U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (char *)((nl0) + t3);
goto **((char **)t1);
LAB7: goto LAB3;
LAB8: xsi_set_current_line(238, ng0);
t5 = (t0 + 2616U);
t6 = *((char **)t5);
t5 = (t0 + 11032U);
t4 = ieee_p_3620187407_sub_2599083972_3965413181(IEEE_P_3620187407, 1, t6, t5);
if (t4 != 0)
goto LAB15;
LAB17:
LAB16: goto LAB7;
LAB9: xsi_set_current_line(244, ng0);
t1 = (t0 + 2524U);
t2 = *((char **)t1);
t12 = (31 - 31);
t13 = (t12 * 1U);
t14 = (0 + t13);
t1 = (t2 + t14);
t5 = (t0 + 3960U);
t6 = *((char **)t5);
t5 = (t6 + 0);
memcpy(t5, t1, 8U);
xsi_set_current_line(245, ng0);
t1 = (t0 + 2524U);
t2 = *((char **)t1);
t12 = (31 - 23);
t13 = (t12 * 1U);
t14 = (0 + t13);
t1 = (t2 + t14);
t5 = (t0 + 4096U);
t6 = *((char **)t5);
t5 = (t6 + 0);
memcpy(t5, t1, 22U);
xsi_set_current_line(246, ng0);
t1 = (t0 + 5172);
t2 = (t1 + 32U);
t5 = *((char **)t2);
t6 = (t5 + 32U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(247, ng0);
t1 = (t0 + 5136);
t2 = (t1 + 32U);
t5 = *((char **)t2);
t6 = (t5 + 32U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
goto LAB7;
LAB10: xsi_set_current_line(250, ng0);
t1 = (t0 + 11709);
t5 = (t0 + 2524U);
t6 = *((char **)t5);
t12 = (31 - 31);
t13 = (t12 * 1U);
t14 = (0 + t13);
t5 = (t6 + t14);
t8 = ((IEEE_P_2592010699) + 2312);
t9 = (t16 + 0U);
t10 = (t9 + 0U);
*((int *)t10) = 0;
t10 = (t9 + 4U);
*((int *)t10) = 1;
t10 = (t9 + 8U);
*((int *)t10) = 1;
t17 = (1 - 0);
t18 = (t17 * 1);
t18 = (t18 + 1);
t10 = (t9 + 12U);
*((unsigned int *)t10) = t18;
t10 = (t19 + 0U);
t11 = (t10 + 0U);
*((int *)t11) = 31;
t11 = (t10 + 4U);
*((int *)t11) = 2;
t11 = (t10 + 8U);
*((int *)t11) = -1;
t20 = (2 - 31);
t18 = (t20 * -1);
t18 = (t18 + 1);
t11 = (t10 + 12U);
*((unsigned int *)t11) = t18;
t7 = xsi_base_array_concat(t7, t15, t8, (char)97, t1, t16, (char)97, t5, t19, (char)101);
t18 = (2U + 30U);
t3 = (32U != t18);
if (t3 == 1)
goto LAB18;
LAB19: t11 = (t0 + 5280);
t21 = (t11 + 32U);
t22 = *((char **)t21);
t23 = (t22 + 32U);
t24 = *((char **)t23);
memcpy(t24, t7, 32U);
xsi_driver_first_trans_fast(t11);
xsi_set_current_line(251, ng0);
t1 = (t0 + 11711);
t5 = (t0 + 2524U);
t6 = *((char **)t5);
t12 = (31 - 31);
t13 = (t12 * 1U);
t14 = (0 + t13);
t5 = (t6 + t14);
t8 = ((IEEE_P_2592010699) + 2312);
t9 = (t16 + 0U);
t10 = (t9 + 0U);
*((int *)t10) = 0;
t10 = (t9 + 4U);
*((int *)t10) = 1;
t10 = (t9 + 8U);
*((int *)t10) = 1;
t17 = (1 - 0);
t18 = (t17 * 1);
t18 = (t18 + 1);
t10 = (t9 + 12U);
*((unsigned int *)t10) = t18;
t10 = (t19 + 0U);
t11 = (t10 + 0U);
*((int *)t11) = 31;
t11 = (t10 + 4U);
*((int *)t11) = 2;
t11 = (t10 + 8U);
*((int *)t11) = -1;
t20 = (2 - 31);
t18 = (t20 * -1);
t18 = (t18 + 1);
t11 = (t10 + 12U);
*((unsigned int *)t11) = t18;
t7 = xsi_base_array_concat(t7, t15, t8, (char)97, t1, t16, (char)97, t5, t19, (char)101);
t18 = (2U + 30U);
t3 = (32U != t18);
if (t3 == 1)
goto LAB20;
LAB21: t11 = (t0 + 5316);
t21 = (t11 + 32U);
t22 = *((char **)t21);
t23 = (t22 + 32U);
t24 = *((char **)t23);
memcpy(t24, t7, 32U);
xsi_driver_first_trans_fast(t11);
xsi_set_current_line(252, ng0);
t1 = (t0 + 3960U);
t2 = *((char **)t1);
t1 = (t0 + 11112U);
t5 = (t0 + 11713);
t7 = (t15 + 0U);
t8 = (t7 + 0U);
*((int *)t8) = 0;
t8 = (t7 + 4U);
*((int *)t8) = 7;
t8 = (t7 + 8U);
*((int *)t8) = 1;
t17 = (7 - 0);
t12 = (t17 * 1);
t12 = (t12 + 1);
t8 = (t7 + 12U);
*((unsigned int *)t8) = t12;
t3 = ieee_std_logic_unsigned_equal_stdv_stdv(IEEE_P_3620187407, t2, t1, t5, t15);
if (t3 != 0)
goto LAB22;
LAB24: xsi_set_current_line(255, ng0);
t1 = (t0 + 5136);
t2 = (t1 + 32U);
t5 = *((char **)t2);
t6 = (t5 + 32U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)5;
xsi_driver_first_trans_fast(t1);
LAB23: goto LAB7;
LAB11: xsi_set_current_line(259, ng0);
t1 = (t0 + 2616U);
t2 = *((char **)t1);
t1 = (t0 + 11032U);
t5 = (t0 + 4096U);
t6 = *((char **)t5);
t5 = (t0 + 11144U);
t3 = ieee_p_3620187407_sub_4060537613_3965413181(IEEE_P_3620187407, t2, t1, t6, t5);
if (t3 != 0)
goto LAB25;
LAB27:
LAB26: goto LAB7;
LAB12: xsi_set_current_line(265, ng0);
t1 = (t0 + 4096U);
t2 = *((char **)t1);
t1 = (t0 + 11144U);
t3 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t1, 0);
if (t3 != 0)
goto LAB28;
LAB30: xsi_set_current_line(268, ng0);
t1 = (t0 + 4096U);
t2 = *((char **)t1);
t1 = (t0 + 11144U);
t3 = ieee_p_3620187407_sub_2546454082_3965413181(IEEE_P_3620187407, t2, t1, 1);
if (t3 != 0)
goto LAB31;
LAB33:
LAB32: xsi_set_current_line(271, ng0);
t1 = (t0 + 3076U);
t2 = *((char **)t1);
t1 = (t0 + 11064U);
t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t15, t2, t1, 1);
t6 = (t15 + 12U);
t12 = *((unsigned int *)t6);
t13 = (1U * t12);
t3 = (32U != t13);
if (t3 == 1)
goto LAB34;
LAB35: t7 = (t0 + 5316);
t8 = (t7 + 32U);
t9 = *((char **)t8);
t10 = (t9 + 32U);
t11 = *((char **)t10);
memcpy(t11, t5, 32U);
xsi_driver_first_trans_fast(t7);
xsi_set_current_line(272, ng0);
t1 = (t0 + 3076U);
t2 = *((char **)t1);
t1 = (t0 + 5280);
t5 = (t1 + 32U);
t6 = *((char **)t5);
t7 = (t6 + 32U);
t8 = *((char **)t7);
memcpy(t8, t2, 32U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(273, ng0);
t1 = (t0 + 2524U);
t2 = *((char **)t1);
t1 = (t0 + 5352);
t5 = (t1 + 32U);
t6 = *((char **)t5);
t7 = (t6 + 32U);
t8 = *((char **)t7);
memcpy(t8, t2, 32U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(274, ng0);
t1 = (t0 + 5244);
t2 = (t1 + 32U);
t5 = *((char **)t2);
t6 = (t5 + 32U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(275, ng0);
t1 = (t0 + 4096U);
t2 = *((char **)t1);
t1 = (t0 + 11144U);
t5 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t15, t2, t1, 1);
t6 = (t0 + 4096U);
t7 = *((char **)t6);
t6 = (t7 + 0);
t8 = (t15 + 12U);
t12 = *((unsigned int *)t8);
t13 = (1U * t12);
memcpy(t6, t5, t13);
LAB29: goto LAB7;
LAB13: xsi_set_current_line(279, ng0);
t1 = (t0 + 2340U);
t2 = *((char **)t1);
t1 = (t0 + 11000U);
t5 = (t0 + 4096U);
t6 = *((char **)t5);
t5 = (t0 + 11144U);
t3 = ieee_p_3620187407_sub_4060537613_3965413181(IEEE_P_3620187407, t2, t1, t6, t5);
if (t3 != 0)
goto LAB36;
LAB38:
LAB37: goto LAB7;
LAB14: xsi_set_current_line(284, ng0);
t1 = (t0 + 4096U);
t2 = *((char **)t1);
t1 = (t0 + 11144U);
t3 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t1, 0);
if (t3 != 0)
goto LAB39;
LAB41: xsi_set_current_line(287, ng0);
t1 = (t0 + 5208);
t2 = (t1 + 32U);
t5 = *((char **)t2);
t6 = (t5 + 32U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(288, ng0);
t1 = (t0 + 3260U);
t2 = *((char **)t1);
t1 = (t0 + 5388);
t5 = (t1 + 32U);
t6 = *((char **)t5);
t7 = (t6 + 32U);
t8 = *((char **)t7);
memcpy(t8, t2, 32U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(289, ng0);
t1 = (t0 + 2984U);
t2 = *((char **)t1);
t1 = (t0 + 11048U);
t5 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t15, t2, t1, 1);
t6 = (t15 + 12U);
t12 = *((unsigned int *)t6);
t13 = (1U * t12);
t3 = (32U != t13);
if (t3 == 1)
goto LAB42;
LAB43: t7 = (t0 + 5280);
t8 = (t7 + 32U);
t9 = *((char **)t8);
t10 = (t9 + 32U);
t11 = *((char **)t10);
memcpy(t11, t5, 32U);
xsi_driver_first_trans_fast(t7);
xsi_set_current_line(290, ng0);
t1 = (t0 + 4096U);
t2 = *((char **)t1);
t1 = (t0 + 11144U);
t5 = ieee_p_3620187407_sub_436351764_3965413181(IEEE_P_3620187407, t15, t2, t1, 1);
t6 = (t0 + 4096U);
t7 = *((char **)t6);
t6 = (t7 + 0);
t8 = (t15 + 12U);
t12 = *((unsigned int *)t8);
t13 = (1U * t12);
memcpy(t6, t5, t13);
LAB40: goto LAB7;
LAB15: xsi_set_current_line(239, ng0);
t7 = (t0 + 5172);
t8 = (t7 + 32U);
t9 = *((char **)t8);
t10 = (t9 + 32U);
t11 = *((char **)t10);
*((unsigned char *)t11) = (unsigned char)3;
xsi_driver_first_trans_fast(t7);
xsi_set_current_line(240, ng0);
t1 = (t0 + 5136);
t2 = (t1 + 32U);
t5 = *((char **)t2);
t6 = (t5 + 32U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)1;
xsi_driver_first_trans_fast(t1);
goto LAB16;
LAB18: xsi_size_not_matching(32U, t18, 0);
goto LAB19;
LAB20: xsi_size_not_matching(32U, t18, 0);
goto LAB21;
LAB22: xsi_set_current_line(253, ng0);
t8 = (t0 + 5136);
t9 = (t8 + 32U);
t10 = *((char **)t9);
t11 = (t10 + 32U);
t21 = *((char **)t11);
*((unsigned char *)t21) = (unsigned char)3;
xsi_driver_first_trans_fast(t8);
goto LAB23;
LAB25: xsi_set_current_line(260, ng0);
t7 = (t0 + 5172);
t8 = (t7 + 32U);
t9 = *((char **)t8);
t10 = (t9 + 32U);
t11 = *((char **)t10);
*((unsigned char *)t11) = (unsigned char)3;
xsi_driver_first_trans_fast(t7);
xsi_set_current_line(261, ng0);
t1 = (t0 + 5136);
t2 = (t1 + 32U);
t5 = *((char **)t2);
t6 = (t5 + 32U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)4;
xsi_driver_first_trans_fast(t1);
goto LAB26;
LAB28: xsi_set_current_line(266, ng0);
t5 = (t0 + 5136);
t6 = (t5 + 32U);
t7 = *((char **)t6);
t8 = (t7 + 32U);
t9 = *((char **)t8);
*((unsigned char *)t9) = (unsigned char)0;
xsi_driver_first_trans_fast(t5);
goto LAB29;
LAB31: xsi_set_current_line(269, ng0);
t5 = (t0 + 5172);
t6 = (t5 + 32U);
t7 = *((char **)t6);
t8 = (t7 + 32U);
t9 = *((char **)t8);
*((unsigned char *)t9) = (unsigned char)3;
xsi_driver_first_trans_fast(t5);
goto LAB32;
LAB34: xsi_size_not_matching(32U, t13, 0);
goto LAB35;
LAB36: xsi_set_current_line(280, ng0);
t7 = (t0 + 5136);
t8 = (t7 + 32U);
t9 = *((char **)t8);
t10 = (t9 + 32U);
t11 = *((char **)t10);
*((unsigned char *)t11) = (unsigned char)6;
xsi_driver_first_trans_fast(t7);
goto LAB37;
LAB39: xsi_set_current_line(285, ng0);
t5 = (t0 + 5136);
t6 = (t5 + 32U);
t7 = *((char **)t6);
t8 = (t7 + 32U);
t9 = *((char **)t8);
*((unsigned char *)t9) = (unsigned char)0;
xsi_driver_first_trans_fast(t5);
goto LAB40;
LAB42: xsi_size_not_matching(32U, t13, 0);
goto LAB43;
}
static void work_a_0308195381_2372691052_p_1(char *t0)
{
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
int64 t7;
int64 t8;
LAB0: t1 = (t0 + 4776U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(298, ng0);
t2 = (t0 + 5424);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t5 = (t4 + 32U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast(t2);
xsi_set_current_line(299, ng0);
t2 = (t0 + 3892U);
t3 = *((char **)t2);
t7 = *((int64 *)t3);
t8 = (t7 / 2);
t2 = (t0 + 4676);
xsi_process_wait(t2, t8);
LAB6: *((char **)t1) = &&LAB7;
LAB1: return;
LAB4: xsi_set_current_line(300, ng0);
t2 = (t0 + 5424);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t5 = (t4 + 32U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)3;
xsi_driver_first_trans_fast(t2);
xsi_set_current_line(301, ng0);
t2 = (t0 + 3892U);
t3 = *((char **)t2);
t7 = *((int64 *)t3);
t8 = (t7 / 2);
t2 = (t0 + 4676);
xsi_process_wait(t2, t8);
LAB10: *((char **)t1) = &&LAB11;
goto LAB1;
LAB5: goto LAB4;
LAB7: goto LAB5;
LAB8: goto LAB2;
LAB9: goto LAB8;
LAB11: goto LAB9;
}
static void work_a_4291056695_2372691052_p_3(char *t0)
{
char t22[16];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
char *t6;
unsigned char t7;
unsigned char t8;
unsigned char t9;
unsigned char t10;
int64 t11;
int t12;
unsigned int t13;
unsigned int t14;
unsigned int t15;
char *t16;
char *t17;
int t18;
int t19;
int t20;
char *t21;
LAB0: t1 = (t0 + 3584U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: xsi_set_current_line(176, ng0);
t2 = (t0 + 4184);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t5 = (t4 + 40U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast(t2);
xsi_set_current_line(177, ng0);
t2 = (t0 + 4220);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t5 = (t4 + 40U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast(t2);
xsi_set_current_line(179, ng0);
t2 = xsi_get_transient_memory(16U);
memset(t2, 0, 16U);
t3 = t2;
memset(t3, (unsigned char)2, 16U);
t4 = (t0 + 2556U);
t5 = *((char **)t4);
t4 = (t5 + 0);
memcpy(t4, t2, 16U);
xsi_set_current_line(181, ng0);
LAB4:
LAB5: xsi_set_current_line(183, ng0);
LAB10: t2 = (t0 + 3844);
*((int *)t2) = 1;
*((char **)t1) = &&LAB11;
LAB1: return;
LAB6:;
LAB7: goto LAB2;
LAB8: t5 = (t0 + 3844);
*((int *)t5) = 0;
xsi_set_current_line(184, ng0);
t11 = (13 * 1000LL);
t2 = (t0 + 3484);
xsi_process_wait(t2, t11);
LAB17: *((char **)t1) = &&LAB18;
goto LAB1;
LAB9: t3 = (t0 + 1512U);
t4 = *((char **)t3);
t8 = *((unsigned char *)t4);
t9 = (t8 == (unsigned char)3);
if (t9 == 1)
goto LAB12;
LAB13: t7 = (unsigned char)0;
LAB14: if (t7 == 1)
goto LAB8;
else
goto LAB10;
LAB11: goto LAB9;
LAB12: t3 = (t0 + 1488U);
t10 = xsi_signal_has_event(t3);
t7 = t10;
goto LAB14;
LAB15: xsi_set_current_line(186, ng0);
t2 = (t0 + 4184);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t5 = (t4 + 40U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)3;
xsi_driver_first_trans_fast(t2);
xsi_set_current_line(188, ng0);
t11 = (322 * 1000LL);
t2 = (t0 + 3484);
xsi_process_wait(t2, t11);
LAB21: *((char **)t1) = &&LAB22;
goto LAB1;
LAB16: goto LAB15;
LAB18: goto LAB16;
LAB19: xsi_set_current_line(189, ng0);
t2 = (t0 + 4184);
t3 = (t2 + 32U);
t4 = *((char **)t3);
t5 = (t4 + 40U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast(t2);
xsi_set_current_line(191, ng0);
t11 = (5 * 1000LL);
t2 = (t0 + 3484);
xsi_process_wait(t2, t11);
LAB25: *((char **)t1) = &&LAB26;
goto LAB1;
LAB20: goto LAB19;
LAB22: goto LAB20;
LAB23: xsi_set_current_line(192, ng0);
t2 = (t0 + 2556U);
t3 = *((char **)t2);
t12 = (15 - 15);
t13 = (t12 * -1);
t14 = (1U * t13);
t15 = (0 + t14);
t2 = (t3 + t15);
t7 = *((unsigned char *)t2);
t4 = (t0 + 4220);
t5 = (t4 + 32U);
t6 = *((char **)t5);
t16 = (t6 + 40U);
t17 = *((char **)t16);
*((unsigned char *)t17) = t7;
xsi_driver_first_trans_fast(t4);
xsi_set_current_line(196, ng0);
t2 = (t0 + 6796);
*((int *)t2) = 14;
t3 = (t0 + 6800);
*((int *)t3) = 0;
t12 = 14;
t18 = 0;
LAB27: if (t12 >= t18)
goto LAB28;
LAB30: xsi_set_current_line(206, ng0);
t2 = (t0 + 2556U);
t3 = *((char **)t2);
t2 = (t0 + 6616U);
t4 = ieee_p_3620187407_sub_436279890_3965413181(IEEE_P_3620187407, t22, t3, t2, 1);
t5 = (t0 + 2556U);
t6 = *((char **)t5);
t5 = (t6 + 0);
t16 = (t22 + 12U);
t13 = *((unsigned int *)t16);
t14 = (1U * t13);
memcpy(t5, t4, t14);
xsi_set_current_line(208, ng0);
t2 = (t0 + 2556U);
t3 = *((char **)t2);
t2 = (t0 + 6616U);
t4 = ((WORK_P_0760723509) + 672U);
t5 = *((char **)t4);
t12 = *((int *)t5);
t18 = (t12 + 1);
t7 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t3, t2, t18);
if (t7 != 0)
goto LAB51;
LAB53:
LAB52: goto LAB4;
LAB24: goto LAB23;
LAB26: goto LAB24;
LAB28: xsi_set_current_line(198, ng0);
LAB33: t4 = (t0 + 3852);
*((int *)t4) = 1;
*((char **)t1) = &&LAB34;
goto LAB1;
LAB29: t2 = (t0 + 6796);
t12 = *((int *)t2);
t3 = (t0 + 6800);
t18 = *((int *)t3);
if (t12 == t18)
goto LAB30;
LAB50: t19 = (t12 + -1);
t12 = t19;
t4 = (t0 + 6796);
*((int *)t4) = t12;
goto LAB27;
LAB31: t16 = (t0 + 3852);
*((int *)t16) = 0;
xsi_set_current_line(199, ng0);
t11 = (1 * 1000LL);
t2 = (t0 + 3484);
xsi_process_wait(t2, t11);
LAB40: *((char **)t1) = &&LAB41;
goto LAB1;
LAB32: t5 = (t0 + 1420U);
t6 = *((char **)t5);
t8 = *((unsigned char *)t6);
t9 = (t8 == (unsigned char)3);
if (t9 == 1)
goto LAB35;
LAB36: t7 = (unsigned char)0;
LAB37: if (t7 == 1)
goto LAB31;
else
goto LAB33;
LAB34: goto LAB32;
LAB35: t5 = (t0 + 1396U);
t10 = xsi_signal_has_event(t5);
t7 = t10;
goto LAB37;
LAB38: xsi_set_current_line(200, ng0);
t11 = (9.5000000000000000 * 1000LL);
t2 = (t0 + 3484);
xsi_process_wait(t2, t11);
LAB44: *((char **)t1) = &&LAB45;
goto LAB1;
LAB39: goto LAB38;
LAB41: goto LAB39;
LAB42: xsi_set_current_line(201, ng0);
t2 = (t0 + 2556U);
t3 = *((char **)t2);
t2 = (t0 + 6796);
t19 = *((int *)t2);
t20 = (t19 - 15);
t13 = (t20 * -1);
xsi_vhdl_check_range_of_index(15, 0, -1, *((int *)t2));
t14 = (1U * t13);
t15 = (0 + t14);
t4 = (t3 + t15);
t7 = *((unsigned char *)t4);
t5 = (t0 + 4220);
t6 = (t5 + 32U);
t16 = *((char **)t6);
t17 = (t16 + 40U);
t21 = *((char **)t17);
*((unsigned char *)t21) = t7;
xsi_driver_first_trans_fast(t5);
xsi_set_current_line(203, ng0);
t11 = (39.500000000000000 * 1000LL);
t2 = (t0 + 3484);
xsi_process_wait(t2, t11);
LAB48: *((char **)t1) = &&LAB49;
goto LAB1;
LAB43: goto LAB42;
LAB45: goto LAB43;
LAB46: goto LAB29;
LAB47: goto LAB46;
LAB49: goto LAB47;
LAB51: xsi_set_current_line(209, ng0);
t4 = xsi_get_transient_memory(16U);
memset(t4, 0, 16U);
t6 = t4;
memset(t6, (unsigned char)2, 16U);
t16 = (t0 + 2556U);
t17 = *((char **)t16);
t16 = (t17 + 0);
memcpy(t16, t4, 16U);
goto LAB52;
}
static void work_a_3881718975_1949178628_p_3(char *t0)
{
char *t1;
char *t2;
unsigned char t3;
char *t4;
char *t5;
unsigned int t6;
int t7;
unsigned int t8;
unsigned int t9;
char *t10;
int t11;
unsigned int t12;
unsigned int 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;
LAB0: xsi_set_current_line(140, ng0);
t1 = (t0 + 3752U);
t2 = *((char **)t1);
t1 = (t0 + 11508U);
t3 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t2, t1, 3);
if (t3 != 0)
goto LAB3;
LAB4:
LAB8: t19 = (t0 + 1832U);
t20 = *((char **)t19);
t19 = (t0 + 6584);
t21 = (t19 + 56U);
t22 = *((char **)t21);
t23 = (t22 + 56U);
t24 = *((char **)t23);
memcpy(t24, t20, 32U);
xsi_driver_first_trans_fast(t19);
LAB2: t25 = (t0 + 5992);
*((int *)t25) = 1;
LAB1: return;
LAB3: t4 = xsi_get_transient_memory(32U);
memset(t4, 0, 32U);
t5 = t4;
if (-1 == -1)
goto LAB5;
LAB6: t6 = 0;
LAB7: t7 = (t6 - 31);
t8 = (t7 * -1);
t9 = (1U * t8);
t10 = (t5 + t9);
t11 = (0 - 31);
t12 = (t11 * -1);
t12 = (t12 + 1);
t13 = (1U * t12);
memset(t10, (unsigned char)4, t13);
t14 = (t0 + 6584);
t15 = (t14 + 56U);
t16 = *((char **)t15);
t17 = (t16 + 56U);
t18 = *((char **)t17);
memcpy(t18, t4, 32U);
xsi_driver_first_trans_fast(t14);
goto LAB2;
LAB5: t6 = 31;
goto LAB7;
LAB9: goto LAB2;
}
static void work_a_3881718975_1949178628_p_2(char *t0)
{
char *t1;
char *t2;
unsigned char t3;
unsigned char t4;
char *t5;
unsigned int t6;
int t7;
unsigned int t8;
unsigned int t9;
char *t10;
int t11;
unsigned int t12;
unsigned int t13;
char *t14;
char *t15;
char *t16;
char *t17;
char *t18;
unsigned char t19;
unsigned char t20;
unsigned char t21;
char *t22;
char *t23;
char *t24;
LAB0: xsi_set_current_line(131, ng0);
t1 = (t0 + 1032U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)2);
if (t4 != 0)
goto LAB2;
LAB4: t1 = (t0 + 1312U);
t4 = xsi_signal_has_event(t1);
if (t4 == 1)
goto LAB10;
LAB11: t3 = (unsigned char)0;
LAB12: if (t3 != 0)
goto LAB8;
LAB9:
LAB3: t1 = (t0 + 5976);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(132, ng0);
t1 = xsi_get_transient_memory(32U);
memset(t1, 0, 32U);
t5 = t1;
if (-1 == -1)
goto LAB5;
LAB6: t6 = 0;
LAB7: t7 = (t6 - 31);
t8 = (t7 * -1);
t9 = (1U * t8);
t10 = (t5 + t9);
t11 = (0 - 31);
t12 = (t11 * -1);
t12 = (t12 + 1);
t13 = (1U * t12);
memset(t10, (unsigned char)2, t13);
t14 = (t0 + 6520);
t15 = (t14 + 56U);
t16 = *((char **)t15);
t17 = (t16 + 56U);
t18 = *((char **)t17);
memcpy(t18, t1, 32U);
xsi_driver_first_trans_fast(t14);
goto LAB3;
LAB5: t6 = 31;
goto LAB7;
LAB8: xsi_set_current_line(134, ng0);
t2 = (t0 + 3752U);
t10 = *((char **)t2);
t2 = (t0 + 11508U);
t21 = ieee_p_3620187407_sub_2546418145_3965413181(IEEE_P_3620187407, t10, t2, 4);
if (t21 != 0)
goto LAB13;
LAB15:
LAB14: goto LAB3;
LAB10: t2 = (t0 + 1352U);
t5 = *((char **)t2);
t19 = *((unsigned char *)t5);
t20 = (t19 == (unsigned char)3);
t3 = t20;
goto LAB12;
LAB13: xsi_set_current_line(135, ng0);
t14 = xsi_get_transient_memory(32U);
memset(t14, 0, 32U);
t15 = t14;
if (-1 == -1)
goto LAB16;
LAB17: t6 = 0;
LAB18: t7 = (t6 - 31);
t8 = (t7 * -1);
t9 = (1U * t8);
t16 = (t15 + t9);
t11 = (0 - 31);
t12 = (t11 * -1);
t12 = (t12 + 1);
t13 = (1U * t12);
memset(t16, (unsigned char)3, t13);
t17 = (t0 + 6520);
t18 = (t17 + 56U);
t22 = *((char **)t18);
t23 = (t22 + 56U);
t24 = *((char **)t23);
memcpy(t24, t14, 32U);
xsi_driver_first_trans_fast(t17);
goto LAB14;
LAB16: t6 = 31;
goto LAB18;
}
