static void simprim_a_1859873907_2082082460_p_1(char *t0)
{
char t41[16];
char t50[16];
char t51[16];
char *t1;
char *t2;
char *t3;
unsigned char t4;
unsigned char t5;
char *t6;
unsigned char t7;
unsigned char t8;
unsigned char t9;
char *t10;
unsigned char t11;
unsigned char t12;
char *t13;
unsigned char t14;
unsigned char t15;
char *t16;
unsigned char t17;
unsigned char t18;
char *t19;
unsigned char t20;
unsigned char t21;
int t22;
unsigned int t23;
unsigned int t24;
unsigned int t25;
int64 t26;
int64 t27;
int t28;
unsigned int t29;
unsigned int t30;
unsigned int t31;
int64 t32;
int64 t33;
char *t34;
char *t35;
char *t36;
char *t37;
char *t38;
char *t39;
char *t40;
char *t42;
char *t43;
int t44;
unsigned int t45;
char *t46;
char *t47;
char *t48;
int64 t49;
char *t52;
char *t53;
LAB0: t1 = (t0 + 4608U);
t2 = *((char **)t1);
if (t2 == 0)
goto LAB2;
LAB3: goto *t2;
LAB2: t2 = (t0 + 1616U);
t3 = *((char **)t2);
t4 = *((unsigned char *)t3);
t5 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t4);
t2 = (t0 + 3112U);
t6 = *((char **)t2);
t2 = (t6 + 0);
*((unsigned char *)t2) = t5;
t2 = (t0 + 3232U);
t3 = *((char **)t2);
t4 = *((unsigned char *)t3);
t5 = (t4 == (unsigned char)1);
if (t5 != 0)
goto LAB4;
LAB6: t2 = (t0 + 2272U);
t3 = *((char **)t2);
t22 = ((unsigned char)0 - 0);
t23 = (t22 * 1);
t24 = (8U * t23);
t25 = (0 + t24);
t2 = (t3 + t25);
t26 = *((int64 *)t2);
t6 = (t0 + 2392U);
t10 = *((char **)t6);
t27 = *((int64 *)t10);
t5 = (t26 < t27);
if (t5 == 1)
goto LAB23;
LAB24: t6 = (t0 + 2272U);
t13 = *((char **)t6);
t28 = ((unsigned char)1 - 0);
t29 = (t28 * 1);
t30 = (8U * t29);
t31 = (0 + t30);
t6 = (t13 + t31);
t32 = *((int64 *)t6);
t16 = (t0 + 2392U);
t19 = *((char **)t16);
t33 = *((int64 *)t19);
t7 = (t32 < t33);
t4 = t7;
LAB25: if (t4 != 0)
goto LAB20;
LAB22: t16 = (t0 + 4416);
t34 = (t0 + 2992U);
t35 = *((char **)t34);
t34 = (t35 + 0);
t36 = (t0 + 1256U);
t37 = (t0 + 5120);
t38 = (t0 + 2752U);
t39 = *((char **)t38);
t38 = (t0 + 7928);
t42 = (t41 + 0U);
t43 = (t42 + 0U);
*((int *)t43) = 1;
t43 = (t42 + 4U);
*((int *)t43) = 1;
t43 = (t42 + 8U);
*((int *)t43) = 1;
t44 = (1 - 1);
t45 = (t44 * 1);
t45 = (t45 + 1);
t43 = (t42 + 12U);
*((unsigned int *)t43) = t45;
t43 = (t0 + 3112U);
t46 = *((char **)t43);
t8 = *((unsigned char *)t46);
t43 = (t0 + 2872U);
t47 = *((char **)t43);
t9 = *((unsigned char *)t47);
t43 = (t0 + 2392U);
t48 = *((char **)t43);
t49 = *((int64 *)t48);
simprim_p_4208868169_sub_293484706_3008368149(SIMPRIM_P_4208868169, t16, t34, t36, 0U, 0U, t37, t39, t38, t41, t8, t9, t49, (unsigned char)0, (unsigned char)1);
LAB21:
LAB5: t2 = (t0 + 2992U);
t3 = *((char **)t2);
t4 = *((unsigned char *)t3);
t5 = (t4 == (unsigned char)0);
if (t5 != 0)
goto LAB26;
LAB28:
LAB27: t2 = (t0 + 2992U);
t3 = *((char **)t2);
t4 = *((unsigned char *)t3);
t5 = (t4 == (unsigned char)1);
if (t5 != 0)
goto LAB29;
LAB31:
LAB30: t2 = (t0 + 1616U);
t3 = *((char **)t2);
t4 = *((unsigned char *)t3);
t5 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t4);
t2 = (t0 + 2512U);
t6 = *((char **)t2);
t2 = (t6 + 0);
*((unsigned char *)t2) = t5;
t2 = (t0 + 4416);
t3 = (t0 + 1256U);
t6 = (t0 + 5120);
t10 = (t0 + 2632U);
t13 = *((char **)t10);
t10 = (t0 + 7929);
t19 = (t41 + 0U);
t34 = (t19 + 0U);
*((int *)t34) = 1;
t34 = (t19 + 4U);
*((int *)t34) = 1;
t34 = (t19 + 8U);
*((int *)t34) = 1;
t22 = (1 - 1);
t23 = (t22 * 1);
t23 = (t23 + 1);
t34 = (t19 + 12U);
*((unsigned int *)t34) = t23;
t34 = (t0 + 2512U);
t35 = *((char **)t34);
t4 = *((unsigned char *)t35);
t34 = xsi_get_transient_memory(32U);
memset(t34, 0, 32U);
t36 = t34;
t28 = (0 - 0);
t23 = (t28 * 1);
t24 = (32U * t23);
t37 = (t36 + t24);
t38 = t37;
t39 = (t0 + 1576U);
t26 = xsi_signal_get_last_event(t39);
*((int64 *)t38) = t26;
t40 = (t37 + 8U);
t42 = (t0 + 2272U);
t43 = *((char **)t42);
memcpy(t40, t43, 16U);
t42 = (t37 + 24U);
*((unsigned char *)t42) = (unsigned char)1;
t46 = (t50 + 0U);
t47 = (t46 + 0U);
*((int *)t47) = 0;
t47 = (t46 + 4U);
*((int *)t47) = 0;
t47 = (t46 + 8U);
*((int *)t47) = 1;
t44 = (0 - 0);
t25 = (t44 * 1);
t25 = (t25 + 1);
t47 = (t46 + 12U);
*((unsigned int *)t47) = t25;
t47 = ((IEEE_P_2717149903) + 1288U);
t48 = *((char **)t47);
memcpy(t51, t48, 16U);
t47 = (t0 + 1912U);
t52 = *((char **)t47);
t5 = *((unsigned char *)t52);
t47 = (t0 + 2032U);
t53 = *((char **)t47);
t7 = *((unsigned char *)t53);
ieee_p_2717149903_sub_2486506143_2101202839(IEEE_P_2717149903, t2, t3, 0U, 0U, t6, t13, t10, t41, t4, t34, t50, t51, (unsigned char)3, t5, t7, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0);
LAB34: t2 = (t0 + 4976);
*((int *)t2) = 1;
*((char **)t1) = &&LAB35;
LAB1: return;
LAB4:
LAB9: t2 = (t0 + 4944);
*((int *)t2) = 1;
*((char **)t1) = &&LAB10;
goto LAB1;
LAB7: t6 = (t0 + 4944);
*((int *)t6) = 0;
t2 = (t0 + 3232U);
t3 = *((char **)t2);
t2 = (t3 + 0);
*((unsigned char *)t2) = (unsigned char)0;
goto LAB5;
LAB8: t6 = (t0 + 1616U);
t10 = *((char **)t6);
t11 = *((unsigned char *)t10);
t12 = (t11 == (unsigned char)2);
if (t12 == 1)
goto LAB17;
LAB18: t6 = (t0 + 1616U);
t13 = *((char **)t6);
t14 = *((unsigned char *)t13);
t15 = (t14 == (unsigned char)3);
t9 = t15;
LAB19: if (t9 == 1)
goto LAB14;
LAB15: t6 = (t0 + 1616U);
t16 = *((char **)t6);
t17 = *((unsigned char *)t16);
t18 = (t17 == (unsigned char)6);
t8 = t18;
LAB16: if (t8 == 1)
goto LAB11;
LAB12: t6 = (t0 + 1616U);
t19 = *((char **)t6);
t20 = *((unsigned char *)t19);
t21 = (t20 == (unsigned char)7);
t7 = t21;
LAB13: if (t7 == 1)
goto LAB7;
else
goto LAB9;
LAB10: goto LAB8;
LAB11: t7 = (unsigned char)1;
goto LAB13;
LAB14: t8 = (unsigned char)1;
goto LAB16;
LAB17: t9 = (unsigned char)1;
goto LAB19;
LAB20: goto LAB21;
LAB23: t4 = (unsigned char)1;
goto LAB25;
LAB26: t2 = (t0 + 2512U);
t6 = *((char **)t2);
t7 = *((unsigned char *)t6);
t8 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t7);
t2 = (t0 + 2872U);
t10 = *((char **)t2);
t2 = (t10 + 0);
*((unsigned char *)t2) = t8;
goto LAB27;
LAB29: t2 = (t0 + 2992U);
t6 = *((char **)t2);
t2 = (t6 + 0);
*((unsigned char *)t2) = (unsigned char)0;
goto LAB30;
LAB32: t3 = (t0 + 4976);
*((int *)t3) = 0;
goto LAB2;
LAB33: goto LAB32;
LAB35: goto LAB33;
}
static void simprim_a_3156740924_4150518722_p_2(char *t0)
{
char t31[16];
char t47[16];
char t51[48];
char *t1;
char *t2;
unsigned char t3;
unsigned char t4;
char *t5;
unsigned char t6;
unsigned char t7;
char *t8;
int t9;
unsigned int t10;
unsigned int t11;
unsigned int t12;
int64 t13;
int64 t14;
char *t15;
int t16;
unsigned int t17;
unsigned int t18;
unsigned int t19;
int64 t20;
char *t21;
char *t22;
int64 t23;
char *t24;
char *t25;
char *t26;
char *t27;
char *t28;
char *t29;
char *t30;
char *t32;
char *t33;
int t34;
unsigned int t35;
char *t36;
char *t37;
unsigned char t38;
char *t39;
int64 t40;
char *t41;
char *t42;
char *t43;
char *t44;
char *t45;
char *t46;
char *t48;
int t49;
char *t50;
char *t52;
char *t53;
LAB0: t1 = (t0 + 1776U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t3);
t1 = (t0 + 3392U);
t5 = *((char **)t1);
t1 = (t5 + 0);
*((unsigned char *)t1) = t4;
t1 = (t0 + 1576U);
t3 = ieee_p_2592010699_sub_1258338084_503743352(IEEE_P_2592010699, t1, 0U, 0U);
if (t3 != 0)
goto LAB2;
LAB4:
LAB3: t1 = (t0 + 1616U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)2);
if (t4 != 0)
goto LAB5;
LAB7:
LAB6: t1 = (t0 + 3272U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)0);
if (t4 != 0)
goto LAB17;
LAB19:
LAB18: t1 = (t0 + 1776U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t1 = (t0 + 1616U);
t5 = *((char **)t1);
t4 = *((unsigned char *)t5);
t1 = ((IEEE_P_2717149903) + 1888U);
t8 = *((char **)t1);
t6 = ieee_p_1367372525_sub_3976821582_4070434989(IEEE_P_1367372525, t3, t4, t8);
t1 = (t0 + 2792U);
t15 = *((char **)t1);
t1 = (t15 + 0);
*((unsigned char *)t1) = t6;
t1 = (t0 + 5496);
t2 = (t0 + 1256U);
t5 = (t0 + 6264);
t8 = (t0 + 2912U);
t15 = *((char **)t8);
t8 = (t0 + 9829);
t22 = (t31 + 0U);
t24 = (t22 + 0U);
*((int *)t24) = 1;
t24 = (t22 + 4U);
*((int *)t24) = 1;
t24 = (t22 + 8U);
*((int *)t24) = 1;
t9 = (1 - 1);
t10 = (t9 * 1);
t10 = (t10 + 1);
t24 = (t22 + 12U);
*((unsigned int *)t24) = t10;
t24 = (t0 + 2792U);
t25 = *((char **)t24);
t3 = *((unsigned char *)t25);
t24 = xsi_get_transient_memory(128U);
memset(t24, 0, 128U);
t26 = t24;
t16 = (0 - 0);
t10 = (t16 * 1);
t11 = (64U * t10);
t27 = (t26 + t11);
t28 = t27;
t29 = (t0 + 1576U);
t13 = xsi_signal_get_last_event(t29);
*((int64 *)t28) = t13;
t30 = (t27 + 8U);
t32 = (t0 + 3632U);
t33 = *((char **)t32);
memcpy(t30, t33, 48U);
t32 = (t27 + 56U);
*((unsigned char *)t32) = (unsigned char)1;
t34 = (1 - 0);
t12 = (t34 * 1);
t17 = (64U * t12);
t36 = (t26 + t17);
t37 = t36;
t39 = (t0 + 1736U);
t14 = xsi_signal_get_last_event(t39);
*((int64 *)t37) = t14;
t41 = (t36 + 8U);
t42 = (t0 + 2552U);
t43 = *((char **)t42);
t42 = ieee_p_2717149903_sub_4115899059_2101202839(IEEE_P_2717149903, t43);
memcpy(t41, t42, 48U);
t44 = (t36 + 56U);
t45 = (t0 + 1616U);
t46 = *((char **)t45);
t4 = *((unsigned char *)t46);
t6 = (t4 == (unsigned char)2);
*((unsigned char *)t44) = t6;
t45 = (t47 + 0U);
t48 = (t45 + 0U);
*((int *)t48) = 0;
t48 = (t45 + 4U);
*((int *)t48) = 1;
t48 = (t45 + 8U);
*((int *)t48) = 1;
t49 = (1 - 0);
t18 = (t49 * 1);
t18 = (t18 + 1);
t48 = (t45 + 12U);
*((unsigned int *)t48) = t18;
t48 = ((IEEE_P_2717149903) + 1408U);
t50 = *((char **)t48);
memcpy(t51, t50, 48U);
t48 = (t0 + 2072U);
t52 = *((char **)t48);
t7 = *((unsigned char *)t52);
t48 = (t0 + 2192U);
t53 = *((char **)t48);
t38 = *((unsigned char *)t53);
t48 = (t0 + 9830);
ieee_p_2717149903_sub_3490601596_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t5, t15, t8, t31, t3, t24, t47, t51, (unsigned char)3, t7, t38, (unsigned char)1, t48, (unsigned char)0, (unsigned char)0, (unsigned char)0);
t1 = (t0 + 3272U);
t2 = *((char **)t1);
t3 = *((unsigned char *)t2);
t4 = (t3 == (unsigned char)1);
if (t4 != 0)
goto LAB20;
LAB22:
LAB21: t1 = (t0 + 6040);
*((int *)t1) = 1;
LAB1: return;
LAB2: t2 = (t0 + 3512U);
t5 = *((char **)t2);
t2 = (t5 + 0);
*((unsigned char *)t2) = (unsigned char)1;
goto LAB3;
LAB5: t1 = (t0 + 3512U);
t5 = *((char **)t1);
t6 = *((unsigned char *)t5);
t7 = (t6 == (unsigned char)1);
if (t7 != 0)
goto LAB8;
LAB10: t1 = (t0 + 2552U);
t2 = *((char **)t1);
t9 = ((unsigned char)0 - 0);
t10 = (t9 * 1);
t11 = (8U * t10);
t12 = (0 + t11);
t1 = (t2 + t12);
t13 = *((int64 *)t1);
t5 = (t0 + 2672U);
t8 = *((char **)t5);
t14 = *((int64 *)t8);
t4 = (t13 < t14);
if (t4 == 1)
goto LAB14;
LAB15: t5 = (t0 + 2552U);
t15 = *((char **)t5);
t16 = ((unsigned char)1 - 0);
t17 = (t16 * 1);
t18 = (8U * t17);
t19 = (0 + t18);
t5 = (t15 + t19);
t20 = *((int64 *)t5);
t21 = (t0 + 2672U);
t22 = *((char **)t21);
t23 = *((int64 *)t22);
t6 = (t20 < t23);
t3 = t6;
LAB16: if (t3 != 0)
goto LAB11;
LAB13: t21 = (t0 + 5496);
t24 = (t0 + 3272U);
t25 = *((char **)t24);
t24 = (t25 + 0);
t26 = (t0 + 1256U);
t27 = (t0 + 6264);
t28 = (t0 + 3032U);
t29 = *((char **)t28);
t28 = (t0 + 9828);
t32 = (t31 + 0U);
t33 = (t32 + 0U);
*((int *)t33) = 1;
t33 = (t32 + 4U);
*((int *)t33) = 1;
t33 = (t32 + 8U);
*((int *)t33) = 1;
t34 = (1 - 1);
t35 = (t34 * 1);
t35 = (t35 + 1);
t33 = (t32 + 12U);
*((unsigned int *)t33) = t35;
t33 = (t0 + 3392U);
t36 = *((char **)t33);
t7 = *((unsigned char *)t36);
t33 = (t0 + 3152U);
t37 = *((char **)t33);
t38 = *((unsigned char *)t37);
t33 = (t0 + 2672U);
t39 = *((char **)t33);
t40 = *((int64 *)t39);
simprim_p_4208868169_sub_293484706_3008368149(SIMPRIM_P_4208868169, t21, t24, t26, 0U, 0U, t27, t29, t28, t31, t7, t38, t40, (unsigned char)0, (unsigned char)1);
LAB12:
LAB9: goto LAB6;
LAB8: t1 = (t0 + 3512U);
t8 = *((char **)t1);
t1 = (t8 + 0);
*((unsigned char *)t1) = (unsigned char)0;
goto LAB9;
LAB11: goto LAB12;
LAB14: t3 = (unsigned char)1;
goto LAB16;
LAB17: t1 = (t0 + 2792U);
t5 = *((char **)t1);
t6 = *((unsigned char *)t5);
t7 = ieee_p_2592010699_sub_1388759734_503743352(IEEE_P_2592010699, t6);
t1 = (t0 + 3152U);
t8 = *((char **)t1);
t1 = (t8 + 0);
*((unsigned char *)t1) = t7;
goto LAB18;
LAB20: t1 = (t0 + 3272U);
t5 = *((char **)t1);
t1 = (t5 + 0);
*((unsigned char *)t1) = (unsigned char)0;
goto LAB21;
}