static void work_a_1696189349_3212880686_p_3(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(71, ng0);
t1 = (t0 + 1672U);
t2 = *((char **)t1);
t1 = (t0 + 7848U);
t3 = (t0 + 1992U);
t4 = *((char **)t3);
t3 = (t0 + 7864U);
t5 = ieee_p_1242562249_sub_1434214030532789707_1035706684(IEEE_P_1242562249, t2, t1, t4, t3);
if (t5 != 0)
goto LAB3;
LAB4:
LAB5: t11 = (t0 + 5160);
t12 = (t11 + 56U);
t13 = *((char **)t12);
t14 = (t13 + 56U);
t15 = *((char **)t14);
*((unsigned char *)t15) = (unsigned char)2;
xsi_driver_first_trans_fast_port(t11);
LAB2: t16 = (t0 + 4824);
*((int *)t16) = 1;
LAB1: return;
LAB3: t6 = (t0 + 5160);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t9 = (t8 + 56U);
t10 = *((char **)t9);
*((unsigned char *)t10) = (unsigned char)3;
xsi_driver_first_trans_fast_port(t6);
goto LAB2;
LAB6: goto LAB2;
}
static void work_a_4263751635_1878664202_p_1(char *t0)
{
char t14[16];
char t17[16];
char *t1;
char *t2;
unsigned char t3;
char *t4;
char *t5;
char *t6;
char *t7;
char *t8;
unsigned char t9;
char *t10;
unsigned int t11;
unsigned int t12;
unsigned int t13;
int t15;
unsigned int t16;
int t18;
char *t19;
char *t20;
char *t21;
unsigned char t22;
unsigned char t23;
unsigned char t24;
static char *nl0[] = {&&LAB12, &&LAB3, &&LAB4, &&LAB5, &&LAB6, &&LAB7, &&LAB8, &&LAB9, &&LAB10, &&LAB11};
LAB0: xsi_set_current_line(100, ng0);
t1 = (t0 + 3432U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 9408);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = t3;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(101, ng0);
t1 = (t0 + 3912U);
t2 = *((char **)t1);
t1 = (t0 + 9472);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t2, 32U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(102, ng0);
t1 = (t0 + 4232U);
t2 = *((char **)t1);
t1 = (t0 + 9536);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t2, 7U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(103, ng0);
t1 = (t0 + 4552U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 9600);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = t3;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(104, ng0);
t1 = (t0 + 4872U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 9664);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = t3;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(105, ng0);
t1 = xsi_get_transient_memory(8U);
memset(t1, 0, 8U);
t2 = t1;
memset(t2, (unsigned char)2, 8U);
t4 = (t0 + 9728);
t5 = (t4 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
memcpy(t8, t1, 8U);
xsi_driver_first_trans_fast(t4);
xsi_set_current_line(106, ng0);
t1 = (t0 + 9792);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(107, ng0);
t1 = (t0 + 5648U);
t2 = *((char **)t1);
t1 = (t0 + 9856);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t2, 2U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(108, ng0);
t1 = (t0 + 9920);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)3;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(109, ng0);
t1 = (t0 + 9984);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(110, ng0);
t1 = (t0 + 10048);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(112, ng0);
t1 = (t0 + 3432U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (char *)((nl0) + t3);
goto **((char **)t1);
LAB2: t1 = (t0 + 8928);
*((int *)t1) = 1;
LAB1: return;
LAB3: xsi_set_current_line(114, ng0);
t4 = (t0 + 6008U);
t5 = *((char **)t4);
t9 = *((unsigned char *)t5);
t4 = (t0 + 10112);
t6 = (t4 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t10 = *((char **)t8);
*((unsigned char *)t10) = t9;
xsi_driver_first_trans_fast_port(t4);
xsi_set_current_line(115, ng0);
t1 = (t0 + 1672U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t9 = (t3 == (unsigned char)3);
if (t9 != 0)
goto LAB13;
LAB15:
LAB14: goto LAB2;
LAB4: xsi_set_current_line(122, ng0);
t1 = (t0 + 6008U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 10112);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = t3;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(123, ng0);
t1 = (t0 + 1672U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t9 = (t3 == (unsigned char)3);
if (t9 != 0)
goto LAB16;
LAB18:
LAB17: goto LAB2;
LAB5: xsi_set_current_line(130, ng0);
t1 = (t0 + 6008U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 10112);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = t3;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(131, ng0);
t1 = (t0 + 1672U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t9 = (t3 == (unsigned char)3);
if (t9 != 0)
goto LAB19;
LAB21:
LAB20: goto LAB2;
LAB6: xsi_set_current_line(138, ng0);
t1 = (t0 + 6008U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 10112);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = t3;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(139, ng0);
t1 = (t0 + 1672U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t9 = (t3 == (unsigned char)3);
if (t9 != 0)
goto LAB22;
LAB24:
LAB23: goto LAB2;
LAB7: xsi_set_current_line(150, ng0);
t1 = (t0 + 6128U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 10112);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = t3;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(151, ng0);
t1 = (t0 + 5888U);
t2 = *((char **)t1);
t1 = (t0 + 9856);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t2, 2U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(152, ng0);
t1 = (t0 + 3912U);
t2 = *((char **)t1);
t11 = (31 - 8);
t12 = (t11 * 1U);
t13 = (0 + t12);
t1 = (t2 + t13);
t4 = (t14 + 0U);
t5 = (t4 + 0U);
*((int *)t5) = 8;
t5 = (t4 + 4U);
*((int *)t5) = 0;
t5 = (t4 + 8U);
*((int *)t5) = -1;
t15 = (0 - 8);
t16 = (t15 * -1);
t16 = (t16 + 1);
t5 = (t4 + 12U);
*((unsigned int *)t5) = t16;
t5 = (t0 + 17244);
t7 = (t17 + 0U);
t8 = (t7 + 0U);
*((int *)t8) = 0;
t8 = (t7 + 4U);
*((int *)t8) = 8;
t8 = (t7 + 8U);
*((int *)t8) = 1;
t18 = (8 - 0);
t16 = (t18 * 1);
t16 = (t16 + 1);
t8 = (t7 + 12U);
*((unsigned int *)t8) = t16;
t3 = ieee_p_1242562249_sub_1434214030532789707_1035706684(IEEE_P_1242562249, t1, t14, t5, t17);
if (t3 != 0)
goto LAB28;
LAB30: xsi_set_current_line(155, ng0);
t1 = (t0 + 9664);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
LAB29: xsi_set_current_line(157, ng0);
t1 = (t0 + 9408);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)6;
xsi_driver_first_trans_fast(t1);
goto LAB2;
LAB8: xsi_set_current_line(160, ng0);
t1 = (t0 + 6128U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 10112);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = t3;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(161, ng0);
t1 = (t0 + 1992U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t9 = (t3 == (unsigned char)3);
if (t9 != 0)
goto LAB31;
LAB33:
LAB32: xsi_set_current_line(164, ng0);
t1 = (t0 + 1992U);
t2 = *((char **)t1);
t9 = *((unsigned char *)t2);
t22 = (t9 == (unsigned char)3);
if (t22 == 1)
goto LAB37;
LAB38: t3 = (unsigned char)0;
LAB39: if (t3 != 0)
goto LAB34;
LAB36: xsi_set_current_line(177, ng0);
t1 = (t0 + 5888U);
t2 = *((char **)t1);
t1 = (t0 + 9856);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t2, 2U);
xsi_driver_first_trans_fast(t1);
LAB35: goto LAB2;
LAB9: xsi_set_current_line(181, ng0);
t1 = (t0 + 6128U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 10112);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = t3;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(182, ng0);
t1 = (t0 + 5888U);
t2 = *((char **)t1);
t1 = (t0 + 9856);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t2, 2U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(183, ng0);
t1 = (t0 + 9408);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)0;
xsi_driver_first_trans_fast(t1);
goto LAB2;
LAB10: xsi_set_current_line(186, ng0);
t1 = (t0 + 6128U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 10112);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = t3;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(187, ng0);
t1 = (t0 + 5888U);
t2 = *((char **)t1);
t1 = (t0 + 9856);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t2, 2U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(188, ng0);
t1 = (t0 + 9920);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(189, ng0);
t1 = (t0 + 9408);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)0;
xsi_driver_first_trans_fast(t1);
goto LAB2;
LAB11: xsi_set_current_line(192, ng0);
t1 = (t0 + 6008U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 10112);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = t3;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(193, ng0);
t1 = (t0 + 1672U);
t2 = *((char **)t1);
t9 = *((unsigned char *)t2);
t22 = (t9 == (unsigned char)3);
if (t22 == 1)
goto LAB51;
LAB52: t3 = (unsigned char)0;
LAB53: if (t3 != 0)
goto LAB48;
LAB50: xsi_set_current_line(201, ng0);
t1 = (t0 + 5888U);
t2 = *((char **)t1);
t1 = (t0 + 9856);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t2, 2U);
xsi_driver_first_trans_fast(t1);
LAB49: goto LAB2;
LAB12: xsi_set_current_line(206, ng0);
t1 = (t0 + 6008U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 10112);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = t3;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(207, ng0);
t1 = (t0 + 1672U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t9 = (t3 == (unsigned char)3);
if (t9 != 0)
goto LAB59;
LAB61:
LAB60: goto LAB2;
LAB13: xsi_set_current_line(117, ng0);
t1 = (t0 + 1352U);
t4 = *((char **)t1);
t1 = (t0 + 9472);
t5 = (t1 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
memcpy(t8, t4, 8U);
xsi_driver_first_trans_delta(t1, 0U, 8U, 0LL);
xsi_set_current_line(118, ng0);
t1 = (t0 + 9408);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
goto LAB14;
LAB16: xsi_set_current_line(125, ng0);
t1 = (t0 + 1352U);
t4 = *((char **)t1);
t1 = (t0 + 9472);
t5 = (t1 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
memcpy(t8, t4, 8U);
xsi_driver_first_trans_delta(t1, 8U, 8U, 0LL);
xsi_set_current_line(126, ng0);
t1 = (t0 + 9408);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
goto LAB17;
LAB19: xsi_set_current_line(133, ng0);
t1 = (t0 + 1352U);
t4 = *((char **)t1);
t1 = (t0 + 9472);
t5 = (t1 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
memcpy(t8, t4, 8U);
xsi_driver_first_trans_delta(t1, 16U, 8U, 0LL);
xsi_set_current_line(134, ng0);
t1 = (t0 + 9408);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)4;
xsi_driver_first_trans_fast(t1);
goto LAB20;
LAB22: xsi_set_current_line(141, ng0);
t1 = (t0 + 1352U);
t4 = *((char **)t1);
t1 = (t0 + 9472);
t5 = (t1 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
memcpy(t8, t4, 8U);
xsi_driver_first_trans_delta(t1, 24U, 8U, 0LL);
xsi_set_current_line(142, ng0);
t1 = (t0 + 4552U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t9 = (t3 == (unsigned char)3);
if (t9 != 0)
goto LAB25;
LAB27: xsi_set_current_line(145, ng0);
t1 = (t0 + 9408);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)9;
xsi_driver_first_trans_fast(t1);
LAB26: goto LAB23;
LAB25: xsi_set_current_line(143, ng0);
t1 = (t0 + 9408);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)5;
xsi_driver_first_trans_fast(t1);
goto LAB26;
LAB28: xsi_set_current_line(153, ng0);
t8 = (t0 + 9664);
t10 = (t8 + 56U);
t19 = *((char **)t10);
t20 = (t19 + 56U);
t21 = *((char **)t20);
*((unsigned char *)t21) = (unsigned char)3;
xsi_driver_first_trans_fast(t8);
goto LAB29;
LAB31: xsi_set_current_line(162, ng0);
t1 = (t0 + 9984);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
*((unsigned char *)t7) = (unsigned char)3;
xsi_driver_first_trans_fast_port(t1);
goto LAB32;
LAB34: xsi_set_current_line(165, ng0);
t1 = (t0 + 5768U);
t5 = *((char **)t1);
t1 = (t0 + 9856);
t6 = (t1 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t10 = *((char **)t8);
memcpy(t10, t5, 2U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(166, ng0);
t1 = (t0 + 2952U);
t2 = *((char **)t1);
t1 = (t0 + 9728);
t4 = (t1 + 56U);
t5 = *((char **)t4);
t6 = (t5 + 56U);
t7 = *((char **)t6);
memcpy(t7, t2, 8U);
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(167, ng0);
t1 = (t0 + 9792);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)3;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(168, ng0);
t1 = (t0 + 3912U);
t2 = *((char **)t1);
t1 = (t0 + 17072U);
t4 = ieee_p_1242562249_sub_1006216973935724872_1035706684(IEEE_P_1242562249, t14, t2, t1, 1);
t5 = (t14 + 12U);
t11 = *((unsigned int *)t5);
t12 = (1U * t11);
t3 = (32U != t12);
if (t3 == 1)
goto LAB40;
LAB41: t6 = (t0 + 9472);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t10 = (t8 + 56U);
t19 = *((char **)t10);
memcpy(t19, t4, 32U);
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(169, ng0);
t1 = (t0 + 3912U);
t2 = *((char **)t1);
t1 = (t0 + 17072U);
t3 = ieee_p_1242562249_sub_3307759752501503797_1035706684(IEEE_P_1242562249, t2, t1, 1);
if (t3 != 0)
goto LAB42;
LAB44:
LAB43: goto LAB35;
LAB37: t1 = (t0 + 3112U);
t4 = *((char **)t1);
t23 = *((unsigned char *)t4);
t24 = (t23 == (unsigned char)3);
t3 = t24;
goto LAB39;
LAB40: xsi_size_not_matching(32U, t12, 0);
goto LAB41;
LAB42: xsi_set_current_line(170, ng0);
t4 = (t0 + 4872U);
t5 = *((char **)t4);
t9 = *((unsigned char *)t5);
t22 = (t9 == (unsigned char)3);
if (t22 != 0)
goto LAB45;
LAB47: xsi_set_current_line(173, ng0);
t1 = (t0 + 9408);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)8;
xsi_driver_first_trans_fast(t1);
LAB46: goto LAB43;
LAB45: xsi_set_current_line(171, ng0);
t4 = (t0 + 9408);
t6 = (t4 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t10 = *((char **)t8);
*((unsigned char *)t10) = (unsigned char)7;
xsi_driver_first_trans_fast(t4);
goto LAB46;
LAB48: xsi_set_current_line(195, ng0);
t1 = (t0 + 10048);
t5 = (t1 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
*((unsigned char *)t8) = (unsigned char)3;
xsi_driver_first_trans_fast_port(t1);
xsi_set_current_line(196, ng0);
t1 = (t0 + 3912U);
t2 = *((char **)t1);
t1 = (t0 + 17072U);
t4 = ieee_p_1242562249_sub_1006216973935724872_1035706684(IEEE_P_1242562249, t14, t2, t1, 1);
t5 = (t14 + 12U);
t11 = *((unsigned int *)t5);
t12 = (1U * t11);
t3 = (32U != t12);
if (t3 == 1)
goto LAB54;
LAB55: t6 = (t0 + 9472);
t7 = (t6 + 56U);
t8 = *((char **)t7);
t10 = (t8 + 56U);
t19 = *((char **)t10);
memcpy(t19, t4, 32U);
xsi_driver_first_trans_fast(t6);
xsi_set_current_line(197, ng0);
t1 = (t0 + 3912U);
t2 = *((char **)t1);
t1 = (t0 + 17072U);
t3 = ieee_p_1242562249_sub_3307759752501503797_1035706684(IEEE_P_1242562249, t2, t1, 1);
if (t3 != 0)
goto LAB56;
LAB58:
LAB57: goto LAB49;
LAB51: t1 = (t0 + 2792U);
t4 = *((char **)t1);
t23 = *((unsigned char *)t4);
t24 = (t23 == (unsigned char)3);
t3 = t24;
goto LAB53;
LAB54: xsi_size_not_matching(32U, t12, 0);
goto LAB55;
LAB56: xsi_set_current_line(198, ng0);
t4 = (t0 + 9408);
t5 = (t4 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
*((unsigned char *)t8) = (unsigned char)0;
xsi_driver_first_trans_fast(t4);
goto LAB57;
LAB59: xsi_set_current_line(210, ng0);
t1 = (t0 + 1352U);
t4 = *((char **)t1);
t11 = (7 - 6);
t12 = (t11 * 1U);
t13 = (0 + t12);
t1 = (t4 + t13);
t5 = (t0 + 9536);
t6 = (t5 + 56U);
t7 = *((char **)t6);
t8 = (t7 + 56U);
t10 = *((char **)t8);
memcpy(t10, t1, 7U);
xsi_driver_first_trans_fast(t5);
xsi_set_current_line(211, ng0);
t1 = (t0 + 1352U);
t2 = *((char **)t1);
t15 = (7 - 7);
t11 = (t15 * -1);
t12 = (1U * t11);
t13 = (0 + t12);
t1 = (t2 + t13);
t3 = *((unsigned char *)t1);
t4 = (t0 + 9600);
t5 = (t4 + 56U);
t6 = *((char **)t5);
t7 = (t6 + 56U);
t8 = *((char **)t7);
*((unsigned char *)t8) = t3;
xsi_driver_first_trans_fast(t4);
xsi_set_current_line(212, ng0);
t1 = (t0 + 9408);
t2 = (t1 + 56U);
t4 = *((char **)t2);
t5 = (t4 + 56U);
t6 = *((char **)t5);
*((unsigned char *)t6) = (unsigned char)1;
xsi_driver_first_trans_fast(t1);
goto LAB60;
}
static void work_a_4263751635_1878664202_p_2(char *t0)
{
char *t1;
char *t2;
int t3;
unsigned int t4;
unsigned int t5;
unsigned int t6;
unsigned char t7;
char *t8;
char *t9;
char *t10;
char *t11;
char *t12;
char *t13;
LAB0: xsi_set_current_line(218, ng0);
LAB3: t1 = (t0 + 3752U);
t2 = *((char **)t1);
t3 = (0 - 1);
t4 = (t3 * -1);
t5 = (1U * t4);
t6 = (0 + t5);
t1 = (t2 + t6);
t7 = *((unsigned char *)t1);
t8 = (t0 + 10176);
t9 = (t8 + 56U);
t10 = *((char **)t9);
t11 = (t10 + 56U);
t12 = *((char **)t11);
*((unsigned char *)t12) = t7;
xsi_driver_first_trans_fast_port(t8);
LAB2: t13 = (t0 + 8944);
*((int *)t13) = 1;
LAB1: return;
LAB4: goto LAB2;
}
static void work_a_0977831778_3212880686_p_1(char *t0)
{
char t8[16];
char *t1;
char *t2;
char *t3;
char *t4;
char *t5;
unsigned char t6;
unsigned char t7;
int t9;
int t10;
unsigned char t11;
char *t12;
unsigned char t13;
unsigned char t14;
char *t15;
unsigned char t16;
unsigned char t17;
char *t18;
char *t19;
char *t20;
char *t21;
LAB0: xsi_set_current_line(291, ng0);
t1 = (t0 + 192904);
t2 = (t1 + 56U);
t3 = *((char **)t2);
t4 = (t3 + 56U);
t5 = *((char **)t4);
*((unsigned char *)t5) = (unsigned char)2;
xsi_driver_first_trans_fast(t1);
xsi_set_current_line(294, ng0);
t1 = (t0 + 143240U);
t2 = *((char **)t1);
t1 = (t0 + 302832U);
t3 = (t0 + 156256U);
t4 = *((char **)t3);
t9 = *((int *)t4);
t10 = (t9 + 1);
t3 = ieee_p_1242562249_sub_10420449594411817395_1035706684(IEEE_P_1242562249, t8, 0, t10);
t11 = ieee_p_1242562249_sub_1434214030532789707_1035706684(IEEE_P_1242562249, t2, t1, t3, t8);
if (t11 == 1)
goto LAB8;
LAB9: t7 = (unsigned char)0;
LAB10: if (t7 == 1)
goto LAB5;
LAB6: t6 = (unsigned char)0;
LAB7: if (t6 != 0)
goto LAB2;
LAB4:
LAB3: t1 = (t0 + 192504);
*((int *)t1) = 1;
LAB1: return;
LAB2: xsi_set_current_line(296, ng0);
t5 = (t0 + 192904);
t18 = (t5 + 56U);
t19 = *((char **)t18);
t20 = (t19 + 56U);
t21 = *((char **)t20);
*((unsigned char *)t21) = (unsigned char)3;
xsi_driver_first_trans_fast(t5);
goto LAB3;
LAB5: t5 = (t0 + 141000U);
t15 = *((char **)t5);
t16 = *((unsigned char *)t15);
t17 = (t16 == (unsigned char)2);
t6 = t17;
goto LAB7;
LAB8: t5 = (t0 + 140680U);
t12 = *((char **)t5);
t13 = *((unsigned char *)t12);
t14 = (t13 == (unsigned char)2);
t7 = t14;
goto LAB10;
}
