static void work_a_0546936460_3212880686_p_0(char *t0)
{
char *t1;
char *t2;
int t3;
unsigned int t4;
unsigned int t5;
unsigned int t6;
unsigned char t7;
char *t8;
char *t9;
int t10;
unsigned int t11;
unsigned int t12;
unsigned int t13;
unsigned char t14;
unsigned char t15;
char *t16;
char *t17;
char *t18;
char *t19;
char *t20;
char *t21;
LAB0: xsi_set_current_line(57, ng0);
LAB3: t1 = (t0 + 2472U);
t2 = *((char **)t1);
t3 = (30 - 31);
t4 = (t3 * -1);
t5 = (1U * t4);
t6 = (0 + t5);
t1 = (t2 + t6);
t7 = *((unsigned char *)t1);
t8 = (t0 + 2472U);
t9 = *((char **)t8);
t10 = (31 - 31);
t11 = (t10 * -1);
t12 = (1U * t11);
t13 = (0 + t12);
t8 = (t9 + t13);
t14 = *((unsigned char *)t8);
t15 = ieee_p_2592010699_sub_2507238156_2592010699(IEEE_P_2592010699, t7, t14);
t16 = (t0 + 10104);
t17 = (t16 + 56U);
t18 = *((char **)t17);
t19 = (t18 + 56U);
t20 = *((char **)t19);
*((unsigned char *)t20) = t15;
xsi_driver_first_trans_fast_port(t16);
LAB2: t21 = (t0 + 9976);
*((int *)t21) = 1;
LAB1: return;
LAB4: goto LAB2;
}
static void simprim_a_2937569829_1957906245_p_4(char *t0)
{
char t1[16];
char t7[16];
char t12[16];
char t17[16];
char *t2;
char *t3;
unsigned char t4;
char *t5;
unsigned char t6;
char *t8;
char *t9;
char *t10;
unsigned char t11;
char *t13;
char *t14;
char *t15;
unsigned char t16;
char *t18;
char *t19;
char *t20;
char *t21;
char *t22;
unsigned int t23;
unsigned char t24;
unsigned char t25;
unsigned char t26;
unsigned char t27;
unsigned char t28;
unsigned char t29;
unsigned char t30;
unsigned char t31;
unsigned char t32;
unsigned char t33;
unsigned char t34;
unsigned char t35;
unsigned char t36;
int t37;
int t38;
unsigned int t39;
unsigned int t40;
unsigned char t41;
char *t42;
char *t43;
char *t44;
unsigned int t45;
unsigned int t46;
unsigned int t47;
unsigned int t48;
unsigned int t49;
unsigned int t50;
unsigned int t51;
unsigned int t52;
unsigned int t53;
unsigned int t54;
unsigned int t55;
unsigned int t56;
unsigned int t57;
unsigned int t58;
unsigned int t59;
char *t60;
unsigned int t61;
unsigned int t62;
unsigned int t63;
char *t64;
char *t65;
unsigned int t66;
unsigned int t67;
unsigned int t68;
char *t69;
char *t70;
char *t71;
char *t72;
unsigned int t73;
unsigned int t74;
unsigned int t75;
char *t76;
char *t77;
char *t78;
char *t79;
char *t80;
LAB0: t2 = (t0 + 1468U);
t3 = *((char **)t2);
t4 = *((unsigned char *)t3);
t2 = (t0 + 1376U);
t5 = *((char **)t2);
t6 = *((unsigned char *)t5);
t8 = ((IEEE_P_2592010699) + 2252);
t2 = xsi_base_array_concat(t2, t7, t8, (char)99, t4, (char)99, t6, (char)101);
t9 = (t0 + 1284U);
t10 = *((char **)t9);
t11 = *((unsigned char *)t10);
t13 = ((IEEE_P_2592010699) + 2252);
t9 = xsi_base_array_concat(t9, t12, t13, (char)97, t2, t7, (char)99, t11, (char)101);
t14 = (t0 + 1192U);
t15 = *((char **)t14);
t16 = *((unsigned char *)t15);
t18 = ((IEEE_P_2592010699) + 2252);
t14 = xsi_base_array_concat(t14, t17, t18, (char)97, t9, t12, (char)99, t16, (char)101);
t19 = ieee_p_2592010699_sub_3879918230_2592010699(IEEE_P_2592010699, t1, t14, t17);
t20 = (t0 + 2548U);
t21 = *((char **)t20);
t20 = (t21 + 0);
t22 = (t1 + 12U);
t23 = *((unsigned int *)t22);
t23 = (t23 * 1U);
memcpy(t20, t19, t23);
t2 = (t0 + 1468U);
t3 = *((char **)t2);
t6 = *((unsigned char *)t3);
t2 = (t0 + 1376U);
t5 = *((char **)t2);
t11 = *((unsigned char *)t5);
t16 = ieee_p_2592010699_sub_2507238156_2592010699(IEEE_P_2592010699, t6, t11);
t2 = (t0 + 1284U);
t8 = *((char **)t2);
t24 = *((unsigned char *)t8);
t25 = ieee_p_2592010699_sub_2507238156_2592010699(IEEE_P_2592010699, t16, t24);
t2 = (t0 + 1192U);
t9 = *((char **)t2);
t26 = *((unsigned char *)t9);
t27 = ieee_p_2592010699_sub_2507238156_2592010699(IEEE_P_2592010699, t25, t26);
t28 = (t27 == (unsigned char)3);
if (t28 == 1)
goto LAB5;
LAB6: t2 = (t0 + 1468U);
t10 = *((char **)t2);
t29 = *((unsigned char *)t10);
t2 = (t0 + 1376U);
t13 = *((char **)t2);
t30 = *((unsigned char *)t13);
t31 = ieee_p_2592010699_sub_2507238156_2592010699(IEEE_P_2592010699, t29, t30);
t2 = (t0 + 1284U);
t14 = *((char **)t2);
t32 = *((unsigned char *)t14);
t33 = ieee_p_2592010699_sub_2507238156_2592010699(IEEE_P_2592010699, t31, t32);
t2 = (t0 + 1192U);
t15 = *((char **)t2);
t34 = *((unsigned char *)t15);
t35 = ieee_p_2592010699_sub_2507238156_2592010699(IEEE_P_2592010699, t33, t34);
t36 = (t35 == (unsigned char)2);
t4 = t36;
LAB7: if (t4 != 0)
goto LAB2;
LAB4: t2 = (t0 + 2480U);
t3 = *((char **)t2);
t23 = (15 - 15);
t39 = (t23 * 1U);
t40 = (0 + t39);
t2 = (t3 + t40);
t5 = (t0 + 2548U);
t8 = *((char **)t5);
t45 = (3 - 1);
t46 = (t45 * 1U);
t47 = (0 + t46);
t5 = (t8 + t47);
t4 = simprim_a_2937569829_1957906245_sub_655425482_1957906245(t0, t2, t5);
t9 = (t0 + 2480U);
t10 = *((char **)t9);
t48 = (15 - 11);
t49 = (t48 * 1U);
t50 = (0 + t49);
t9 = (t10 + t50);
t13 = (t0 + 2548U);
t14 = *((char **)t13);
t51 = (3 - 1);
t52 = (t51 * 1U);
t53 = (0 + t52);
t13 = (t14 + t53);
t6 = simprim_a_2937569829_1957906245_sub_655425482_1957906245(t0, t9, t13);
t18 = ((IEEE_P_2592010699) + 2312);
t15 = xsi_base_array_concat(t15, t1, t18, (char)99, t4, (char)99, t6, (char)101);
t19 = (t0 + 2480U);
t20 = *((char **)t19);
t54 = (15 - 7);
t55 = (t54 * 1U);
t56 = (0 + t55);
t19 = (t20 + t56);
t21 = (t0 + 2548U);
t22 = *((char **)t21);
t57 = (3 - 1);
t58 = (t57 * 1U);
t59 = (0 + t58);
t21 = (t22 + t59);
t11 = simprim_a_2937569829_1957906245_sub_655425482_1957906245(t0, t19, t21);
t43 = ((IEEE_P_2592010699) + 2312);
t42 = xsi_base_array_concat(t42, t7, t43, (char)97, t15, t1, (char)99, t11, (char)101);
t44 = (t0 + 2480U);
t60 = *((char **)t44);
t61 = (15 - 3);
t62 = (t61 * 1U);
t63 = (0 + t62);
t44 = (t60 + t63);
t64 = (t0 + 2548U);
t65 = *((char **)t64);
t66 = (3 - 1);
t67 = (t66 * 1U);
t68 = (0 + t67);
t64 = (t65 + t68);
t16 = simprim_a_2937569829_1957906245_sub_655425482_1957906245(t0, t44, t64);
t70 = ((IEEE_P_2592010699) + 2312);
t69 = xsi_base_array_concat(t69, t12, t70, (char)97, t42, t7, (char)99, t16, (char)101);
t71 = (t0 + 2548U);
t72 = *((char **)t71);
t73 = (3 - 3);
t74 = (t73 * 1U);
t75 = (0 + t74);
t71 = (t72 + t75);
t24 = simprim_a_2937569829_1957906245_sub_655425482_1957906245(t0, t69, t71);
t76 = (t0 + 4340);
t77 = (t76 + 32U);
t78 = *((char **)t77);
t79 = (t78 + 32U);
t80 = *((char **)t79);
*((unsigned char *)t80) = t24;
xsi_driver_first_trans_fast(t76);
LAB3: t2 = (t0 + 4136);
*((int *)t2) = 1;
LAB1: return;
LAB2: t2 = (t0 + 2480U);
t18 = *((char **)t2);
t2 = (t0 + 2548U);
t19 = *((char **)t2);
t2 = (t0 + 5568U);
t37 = simprim_p_4208868169_sub_3182959421_4208868169(SIMPRIM_P_4208868169, t19, t2);
t38 = (t37 - 15);
t23 = (t38 * -1);
xsi_vhdl_check_range_of_index(15, 0, -1, t37);
t39 = (1U * t23);
t40 = (0 + t39);
t20 = (t18 + t40);
t41 = *((unsigned char *)t20);
t21 = (t0 + 4340);
t22 = (t21 + 32U);
t42 = *((char **)t22);
t43 = (t42 + 32U);
t44 = *((char **)t43);
*((unsigned char *)t44) = t41;
xsi_driver_first_trans_fast(t21);
goto LAB3;
LAB5: t4 = (unsigned char)1;
goto LAB7;
}
unsigned char simprim_a_2937569829_1957906245_sub_655425482_1957906245(char *t1, char *t2, char *t3)
{
char t4[72];
char t5[24];
char t6[16];
char t11[16];
char t16[8];
unsigned char t0;
char *t7;
char *t8;
int t9;
unsigned int t10;
char *t12;
int t13;
char *t14;
char *t15;
char *t17;
char *t18;
char *t19;
unsigned char t20;
char *t21;
char *t22;
unsigned char t23;
char *t24;
unsigned char t25;
char *t26;
int t27;
char *t28;
int t29;
int t30;
unsigned int t31;
unsigned int t32;
char *t33;
unsigned char t34;
char *t35;
int t36;
char *t37;
int t38;
int t39;
unsigned int t40;
unsigned int t41;
unsigned int t42;
char *t43;
unsigned char t44;
unsigned char t45;
unsigned char t46;
char *t47;
int t48;
char *t49;
int t50;
int t51;
unsigned int t52;
unsigned int t53;
unsigned int t54;
char *t55;
unsigned char t56;
char *t57;
int t58;
char *t59;
int t60;
int t61;
unsigned int t62;
unsigned int t63;
unsigned int t64;
char *t65;
unsigned char t66;
unsigned char t67;
unsigned char t68;
int t69;
char *t70;
int t71;
char *t72;
int t73;
int t74;
unsigned int t75;
char *t76;
int t77;
unsigned int t78;
unsigned int t79;
char *t80;
unsigned char t81;
char *t82;
char *t83;
unsigned int t84;
unsigned int t85;
unsigned int t86;
unsigned char t87;
unsigned char t88;
int t89;
int t90;
unsigned int t91;
unsigned int t92;
unsigned int t93;
unsigned char t94;
LAB0: t7 = (t6 + 0U);
t8 = (t7 + 0U);
*((int *)t8) = 3;
t8 = (t7 + 4U);
*((int *)t8) = 0;
t8 = (t7 + 8U);
*((int *)t8) = -1;
t9 = (0 - 3);
t10 = (t9 * -1);
t10 = (t10 + 1);
t8 = (t7 + 12U);
*((unsigned int *)t8) = t10;
t8 = (t11 + 0U);
t12 = (t8 + 0U);
*((int *)t12) = 1;
t12 = (t8 + 4U);
*((int *)t12) = 0;
t12 = (t8 + 8U);
*((int *)t12) = -1;
t13 = (0 - 1);
t10 = (t13 * -1);
t10 = (t10 + 1);
t12 = (t8 + 12U);
*((unsigned int *)t12) = t10;
t12 = (t4 + 4U);
t14 = ((IEEE_P_2592010699) + 1892);
t15 = (t12 + 52U);
*((char **)t15) = t14;
t17 = (t12 + 36U);
*((char **)t17) = t16;
xsi_type_set_default_value(t14, t16, 0);
t18 = (t12 + 48U);
*((unsigned int *)t18) = 1U;
t19 = (t5 + 4U);
t20 = (t2 != 0);
if (t20 == 1)
goto LAB3;
LAB2: t21 = (t5 + 8U);
*((char **)t21) = t6;
t22 = (t5 + 12U);
t23 = (t3 != 0);
if (t23 == 1)
goto LAB5;
LAB4: t24 = (t5 + 16U);
*((char **)t24) = t11;
t26 = (t11 + 0U);
t27 = *((int *)t26);
t28 = (t11 + 8U);
t29 = *((int *)t28);
t30 = (1 - t27);
t10 = (t30 * t29);
t31 = (1U * t10);
t32 = (0 + t31);
t33 = (t3 + t32);
t34 = *((unsigned char *)t33);
t35 = (t11 + 0U);
t36 = *((int *)t35);
t37 = (t11 + 8U);
t38 = *((int *)t37);
t39 = (0 - t36);
t40 = (t39 * t38);
t41 = (1U * t40);
t42 = (0 + t41);
t43 = (t3 + t42);
t44 = *((unsigned char *)t43);
t45 = ieee_p_2592010699_sub_2507238156_2592010699(IEEE_P_2592010699, t34, t44);
t46 = (t45 == (unsigned char)3);
if (t46 == 1)
goto LAB9;
LAB10: t47 = (t11 + 0U);
t48 = *((int *)t47);
t49 = (t11 + 8U);
t50 = *((int *)t49);
t51 = (1 - t48);
t52 = (t51 * t50);
t53 = (1U * t52);
t54 = (0 + t53);
t55 = (t3 + t54);
t56 = *((unsigned char *)t55);
t57 = (t11 + 0U);
t58 = *((int *)t57);
t59 = (t11 + 8U);
t60 = *((int *)t59);
t61 = (0 - t58);
t62 = (t61 * t60);
t63 = (1U * t62);
t64 = (0 + t63);
t65 = (t3 + t64);
t66 = *((unsigned char *)t65);
t67 = ieee_p_2592010699_sub_2507238156_2592010699(IEEE_P_2592010699, t56, t66);
t68 = (t67 == (unsigned char)2);
t25 = t68;
LAB11: if (t25 != 0)
goto LAB6;
LAB8: t7 = (t6 + 0U);
t9 = *((int *)t7);
t8 = (t6 + 8U);
t13 = *((int *)t8);
t27 = (0 - t9);
t10 = (t27 * t13);
t31 = (1U * t10);
t32 = (0 + t31);
t14 = (t2 + t32);
t25 = *((unsigned char *)t14);
t15 = (t6 + 0U);
t29 = *((int *)t15);
t17 = (t6 + 8U);
t30 = *((int *)t17);
t36 = (1 - t29);
t40 = (t36 * t30);
t41 = (1U * t40);
t42 = (0 + t41);
t18 = (t2 + t42);
t34 = *((unsigned char *)t18);
t44 = ieee_p_2592010699_sub_2507238156_2592010699(IEEE_P_2592010699, t25, t34);
t45 = (t44 == (unsigned char)2);
if (t45 == 1)
goto LAB17;
LAB18: t23 = (unsigned char)0;
LAB19: if (t23 == 1)
goto LAB14;
LAB15: t20 = (unsigned char)0;
LAB16: if (t20 != 0)
goto LAB12;
LAB13: t7 = (t11 + 0U);
t9 = *((int *)t7);
t8 = (t11 + 8U);
t13 = *((int *)t8);
t27 = (1 - t9);
t10 = (t27 * t13);
t31 = (1U * t10);
t32 = (0 + t31);
t14 = (t3 + t32);
t23 = *((unsigned char *)t14);
t25 = (t23 == (unsigned char)2);
if (t25 == 1)
goto LAB22;
LAB23: t20 = (unsigned char)0;
LAB24: if (t20 != 0)
goto LAB20;
LAB21: t7 = (t11 + 0U);
t9 = *((int *)t7);
t8 = (t11 + 8U);
t13 = *((int *)t8);
t27 = (1 - t9);
t10 = (t27 * t13);
t31 = (1U * t10);
t32 = (0 + t31);
t14 = (t3 + t32);
t23 = *((unsigned char *)t14);
t25 = (t23 == (unsigned char)3);
if (t25 == 1)
goto LAB27;
LAB28: t20 = (unsigned char)0;
LAB29: if (t20 != 0)
goto LAB25;
LAB26: t7 = (t11 + 0U);
t9 = *((int *)t7);
t8 = (t11 + 8U);
t13 = *((int *)t8);
t27 = (0 - t9);
t10 = (t27 * t13);
t31 = (1U * t10);
t32 = (0 + t31);
t14 = (t3 + t32);
t23 = *((unsigned char *)t14);
t25 = (t23 == (unsigned char)2);
if (t25 == 1)
goto LAB32;
LAB33: t20 = (unsigned char)0;
LAB34: if (t20 != 0)
goto LAB30;
LAB31: t7 = (t11 + 0U);
t9 = *((int *)t7);
t8 = (t11 + 8U);
t13 = *((int *)t8);
t27 = (0 - t9);
t10 = (t27 * t13);
t31 = (1U * t10);
t32 = (0 + t31);
t14 = (t3 + t32);
t23 = *((unsigned char *)t14);
t25 = (t23 == (unsigned char)3);
if (t25 == 1)
goto LAB37;
LAB38: t20 = (unsigned char)0;
LAB39: if (t20 != 0)
goto LAB35;
LAB36: t7 = (t12 + 36U);
t8 = *((char **)t7);
t7 = (t8 + 0);
*((unsigned char *)t7) = (unsigned char)1;
LAB7: t7 = (t12 + 36U);
t8 = *((char **)t7);
t20 = *((unsigned char *)t8);
t0 = t20;
LAB1: return t0;
LAB3: *((char **)t19) = *((char **)t2);
goto LAB2;
LAB5: *((char **)t22) = *((char **)t3);
goto LAB4;
LAB6: t69 = simprim_p_4208868169_sub_3182959421_4208868169(SIMPRIM_P_4208868169, t3, t11);
t70 = (t6 + 0U);
t71 = *((int *)t70);
t72 = (t6 + 8U);
t73 = *((int *)t72);
t74 = (t69 - t71);
t75 = (t74 * t73);
t76 = (t6 + 4U);
t77 = *((int *)t76);
xsi_vhdl_check_range_of_index(t71, t77, t73, t69);
t78 = (1U * t75);
t79 = (0 + t78);
t80 = (t2 + t79);
t81 = *((unsigned char *)t80);
t82 = (t12 + 36U);
t83 = *((char **)t82);
t82 = (t83 + 0);
*((unsigned char *)t82) = t81;
goto LAB7;
LAB9: t25 = (unsigned char)1;
goto LAB11;
LAB12: t70 = (t6 + 0U);
t77 = *((int *)t70);
t72 = (t6 + 8U);
t89 = *((int *)t72);
t90 = (0 - t77);
t91 = (t90 * t89);
t92 = (1U * t91);
t93 = (0 + t92);
t76 = (t2 + t93);
t94 = *((unsigned char *)t76);
t80 = (t12 + 36U);
t82 = *((char **)t80);
t80 = (t82 + 0);
*((unsigned char *)t80) = t94;
goto LAB7;
LAB14: t47 = (t6 + 0U);
t60 = *((int *)t47);
t49 = (t6 + 8U);
t61 = *((int *)t49);
t69 = (0 - t60);
t75 = (t69 * t61);
t78 = (1U * t75);
t79 = (0 + t78);
t55 = (t2 + t79);
t68 = *((unsigned char *)t55);
t57 = (t6 + 0U);
t71 = *((int *)t57);
t59 = (t6 + 8U);
t73 = *((int *)t59);
t74 = (2 - t71);
t84 = (t74 * t73);
t85 = (1U * t84);
t86 = (0 + t85);
t65 = (t2 + t86);
t81 = *((unsigned char *)t65);
t87 = ieee_p_2592010699_sub_2507238156_2592010699(IEEE_P_2592010699, t68, t81);
t88 = (t87 == (unsigned char)2);
t20 = t88;
goto LAB16;
LAB17: t26 = (t6 + 0U);
t38 = *((int *)t26);
t28 = (t6 + 8U);
t39 = *((int *)t28);
t48 = (2 - t38);
t52 = (t48 * t39);
t53 = (1U * t52);
t54 = (0 + t53);
t33 = (t2 + t54);
t46 = *((unsigned char *)t33);
t35 = (t6 + 0U);
t50 = *((int *)t35);
t37 = (t6 + 8U);
t51 = *((int *)t37);
t58 = (3 - t50);
t62 = (t58 * t51);
t63 = (1U * t62);
t64 = (0 + t63);
t43 = (t2 + t64);
t56 = *((unsigned char *)t43);
t66 = ieee_p_2592010699_sub_2507238156_2592010699(IEEE_P_2592010699, t46, t56);
t67 = (t66 == (unsigned char)2);
t23 = t67;
goto LAB19;
LAB20: t35 = (t6 + 0U);
t50 = *((int *)t35);
t37 = (t6 + 8U);
t51 = *((int *)t37);
t58 = (0 - t50);
t62 = (t58 * t51);
t63 = (1U * t62);
t64 = (0 + t63);
t43 = (t2 + t64);
t46 = *((unsigned char *)t43);
t47 = (t12 + 36U);
t49 = *((char **)t47);
t47 = (t49 + 0);
*((unsigned char *)t47) = t46;
goto LAB7;
LAB22: t15 = (t6 + 0U);
t29 = *((int *)t15);
t17 = (t6 + 8U);
t30 = *((int *)t17);
t36 = (0 - t29);
t40 = (t36 * t30);
t41 = (1U * t40);
t42 = (0 + t41);
t18 = (t2 + t42);
t34 = *((unsigned char *)t18);
t26 = (t6 + 0U);
t38 = *((int *)t26);
t28 = (t6 + 8U);
t39 = *((int *)t28);
t48 = (1 - t38);
t52 = (t48 * t39);
t53 = (1U * t52);
t54 = (0 + t53);
t33 = (t2 + t54);
t44 = *((unsigned char *)t33);
t45 = (t34 == t44);
t20 = t45;
goto LAB24;
LAB25: t35 = (t6 + 0U);
t50 = *((int *)t35);
t37 = (t6 + 8U);
t51 = *((int *)t37);
t58 = (2 - t50);
t62 = (t58 * t51);
t63 = (1U * t62);
t64 = (0 + t63);
t43 = (t2 + t64);
t46 = *((unsigned char *)t43);
t47 = (t12 + 36U);
t49 = *((char **)t47);
t47 = (t49 + 0);
*((unsigned char *)t47) = t46;
goto LAB7;
LAB27: t15 = (t6 + 0U);
t29 = *((int *)t15);
t17 = (t6 + 8U);
t30 = *((int *)t17);
t36 = (2 - t29);
t40 = (t36 * t30);
t41 = (1U * t40);
t42 = (0 + t41);
t18 = (t2 + t42);
t34 = *((unsigned char *)t18);
t26 = (t6 + 0U);
t38 = *((int *)t26);
t28 = (t6 + 8U);
t39 = *((int *)t28);
t48 = (3 - t38);
t52 = (t48 * t39);
t53 = (1U * t52);
t54 = (0 + t53);
t33 = (t2 + t54);
t44 = *((unsigned char *)t33);
t45 = (t34 == t44);
t20 = t45;
goto LAB29;
LAB30: t35 = (t6 + 0U);
t50 = *((int *)t35);
t37 = (t6 + 8U);
t51 = *((int *)t37);
t58 = (0 - t50);
t62 = (t58 * t51);
t63 = (1U * t62);
t64 = (0 + t63);
t43 = (t2 + t64);
t46 = *((unsigned char *)t43);
t47 = (t12 + 36U);
t49 = *((char **)t47);
t47 = (t49 + 0);
*((unsigned char *)t47) = t46;
goto LAB7;
LAB32: t15 = (t6 + 0U);
t29 = *((int *)t15);
t17 = (t6 + 8U);
t30 = *((int *)t17);
t36 = (0 - t29);
t40 = (t36 * t30);
t41 = (1U * t40);
t42 = (0 + t41);
t18 = (t2 + t42);
t34 = *((unsigned char *)t18);
t26 = (t6 + 0U);
t38 = *((int *)t26);
t28 = (t6 + 8U);
t39 = *((int *)t28);
t48 = (2 - t38);
t52 = (t48 * t39);
t53 = (1U * t52);
t54 = (0 + t53);
t33 = (t2 + t54);
t44 = *((unsigned char *)t33);
t45 = (t34 == t44);
t20 = t45;
goto LAB34;
LAB35: t35 = (t6 + 0U);
t50 = *((int *)t35);
t37 = (t6 + 8U);
t51 = *((int *)t37);
t58 = (1 - t50);
t62 = (t58 * t51);
t63 = (1U * t62);
t64 = (0 + t63);
t43 = (t2 + t64);
t46 = *((unsigned char *)t43);
t47 = (t12 + 36U);
t49 = *((char **)t47);
t47 = (t49 + 0);
*((unsigned char *)t47) = t46;
goto LAB7;
LAB37: t15 = (t6 + 0U);
t29 = *((int *)t15);
t17 = (t6 + 8U);
t30 = *((int *)t17);
t36 = (1 - t29);
t40 = (t36 * t30);
t41 = (1U * t40);
t42 = (0 + t41);
t18 = (t2 + t42);
t34 = *((unsigned char *)t18);
t26 = (t6 + 0U);
t38 = *((int *)t26);
t28 = (t6 + 8U);
t39 = *((int *)t28);
t48 = (3 - t38);
t52 = (t48 * t39);
t53 = (1U * t52);
t54 = (0 + t53);
t33 = (t2 + t54);
t44 = *((unsigned char *)t33);
t45 = (t34 == t44);
t20 = t45;
goto LAB39;
LAB40:;
}
