static void Initial_37_0(char *t0) { char t15[8]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; char *t16; char *t17; char *t18; char *t19; char *t20; char *t21; LAB0: t1 = (t0 + 4768U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(37, ng0); t2 = (t0 + 5072); t3 = (t0 + 4576); xsi_add_process_toexecute(0, t2, t3); t4 = (t0 + 5320); t5 = (t0 + 4576); xsi_add_process_toexecute(0, t4, t5); t6 = (t0 + 5568); t7 = (t0 + 4576); xsi_add_process_toexecute(0, t6, t7); t8 = (t0 + 5816); t9 = (t0 + 4576); xsi_add_process_toexecute(0, t8, t9); t10 = (t0 + 6064); t11 = (t0 + 4576); xsi_add_process_toexecute(0, t10, t11); t12 = (t0 + 6312); t13 = (t0 + 4576); xsi_add_process_toexecute(0, t12, t13); t14 = (t0 + 3208); memset(t15, 0, 8); *((unsigned int *)t15) = 6; xsi_vlogvar_assign_value(t14, t15, 0, 0, 32); t16 = (t0 + 8560); *((int *)t16) = 1; *((char **)t1) = &&LAB4; LAB1: return; LAB4: t17 = (t0 + 3208); t18 = (t17 + 56U); t19 = *((char **)t18); if (*((int *)t19) > 0) goto LAB5; LAB6: t21 = (t0 + 4576); xsi_clean_active_fork_process_list(t21); goto LAB1; LAB5: t20 = (t0 + 8560); *((int *)t20) = 1; goto LAB1; }
static void Initial_51_0(char *t0) { char t7[8]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t8; char *t9; char *t10; char *t11; char *t12; char *t13; char *t14; LAB0: t1 = (t0 + 3968U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(51, ng0); LAB4: xsi_set_current_line(53, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 1608); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(54, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 1768); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(55, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 1928); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(56, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2088); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(57, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2248); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(58, ng0); t2 = ((char*)((ng1))); t3 = (t0 + 2408); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); xsi_set_current_line(61, ng0); t2 = (t0 + 3776); xsi_process_wait(t2, 100000LL); *((char **)t1) = &&LAB5; LAB1: return; LAB5: xsi_set_current_line(64, ng0); t2 = (t0 + 4024); t3 = (t0 + 3776); xsi_add_process_toexecute(0, t2, t3); t4 = (t0 + 4272); t5 = (t0 + 3776); xsi_add_process_toexecute(0, t4, t5); t6 = (t0 + 2568); memset(t7, 0, 8); *((unsigned int *)t7) = 2; xsi_vlogvar_assign_value(t6, t7, 0, 0, 32); t8 = (t0 + 6272); *((int *)t8) = 1; *((char **)t1) = &&LAB6; goto LAB1; LAB6: t9 = (t0 + 2568); t10 = (t9 + 56U); t11 = *((char **)t10); if (*((int *)t11) > 0) goto LAB7; LAB8: t13 = (t0 + 3776); xsi_clean_active_fork_process_list(t13); xsi_set_current_line(68, ng0); t2 = (t0 + 3776); xsi_process_wait(t2, 100000LL); *((char **)t1) = &&LAB9; goto LAB1; LAB7: t12 = (t0 + 6272); *((int *)t12) = 1; goto LAB1; LAB9: xsi_set_current_line(68, ng0); t3 = (t0 + 4520); t4 = (t0 + 3776); xsi_add_process_toexecute(0, t3, t4); t5 = (t0 + 4768); t6 = (t0 + 3776); xsi_add_process_toexecute(0, t5, t6); t8 = (t0 + 2728); memset(t7, 0, 8); *((unsigned int *)t7) = 2; xsi_vlogvar_assign_value(t8, t7, 0, 0, 32); t9 = (t0 + 6288); *((int *)t9) = 1; *((char **)t1) = &&LAB10; goto LAB1; LAB10: t10 = (t0 + 2728); t11 = (t10 + 56U); t12 = *((char **)t11); if (*((int *)t12) > 0) goto LAB11; LAB12: t14 = (t0 + 3776); xsi_clean_active_fork_process_list(t14); xsi_set_current_line(72, ng0); t2 = (t0 + 3776); xsi_process_wait(t2, 100000LL); *((char **)t1) = &&LAB13; goto LAB1; LAB11: t13 = (t0 + 6288); *((int *)t13) = 1; goto LAB1; LAB13: xsi_set_current_line(72, ng0); t3 = (t0 + 5016); t4 = (t0 + 3776); xsi_add_process_toexecute(0, t3, t4); t5 = (t0 + 5264); t6 = (t0 + 3776); xsi_add_process_toexecute(0, t5, t6); t8 = (t0 + 2888); memset(t7, 0, 8); *((unsigned int *)t7) = 2; xsi_vlogvar_assign_value(t8, t7, 0, 0, 32); t9 = (t0 + 6304); *((int *)t9) = 1; *((char **)t1) = &&LAB14; goto LAB1; LAB14: t10 = (t0 + 2888); t11 = (t10 + 56U); t12 = *((char **)t11); if (*((int *)t12) > 0) goto LAB15; LAB16: t14 = (t0 + 3776); xsi_clean_active_fork_process_list(t14); xsi_set_current_line(76, ng0); t2 = (t0 + 3776); xsi_process_wait(t2, 100000LL); *((char **)t1) = &&LAB17; goto LAB1; LAB15: t13 = (t0 + 6304); *((int *)t13) = 1; goto LAB1; LAB17: xsi_set_current_line(76, ng0); t3 = (t0 + 5512); t4 = (t0 + 3776); xsi_add_process_toexecute(0, t3, t4); t5 = (t0 + 5760); t6 = (t0 + 3776); xsi_add_process_toexecute(0, t5, t6); t8 = (t0 + 3048); memset(t7, 0, 8); *((unsigned int *)t7) = 2; xsi_vlogvar_assign_value(t8, t7, 0, 0, 32); t9 = (t0 + 6320); *((int *)t9) = 1; *((char **)t1) = &&LAB18; goto LAB1; LAB18: t10 = (t0 + 3048); t11 = (t10 + 56U); t12 = *((char **)t11); if (*((int *)t12) > 0) goto LAB19; LAB20: t14 = (t0 + 3776); xsi_clean_active_fork_process_list(t14); goto LAB1; LAB19: t13 = (t0 + 6320); *((int *)t13) = 1; goto LAB1; }
static void Initial_46_1(char *t0) { char t6[8]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t7; unsigned int t8; unsigned int t9; unsigned int t10; unsigned int t11; unsigned int t12; char *t13; char *t14; char *t15; unsigned int t16; unsigned int t17; unsigned int t18; unsigned int t19; unsigned int t20; unsigned int t21; unsigned int t22; unsigned int t23; char *t24; char *t25; char *t26; LAB0: t1 = (t0 + 5016U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(46, ng0); LAB4: xsi_set_current_line(47, ng0); t2 = (t0 + 4824); xsi_process_wait(t2, 10000LL); *((char **)t1) = &&LAB5; LAB1: return; LAB5: xsi_set_current_line(48, ng0); LAB6: xsi_set_current_line(48, ng0); t2 = (t0 + 8576); *((int *)t2) = 1; t3 = (t0 + 5048); *((char **)t3) = t2; *((char **)t1) = &&LAB7; goto LAB1; LAB7: xsi_set_current_line(49, ng0); LAB8: xsi_set_current_line(51, ng0); t4 = (t0 + 1528U); t5 = *((char **)t4); t4 = (t0 + 2888); xsi_vlogvar_assign_value(t4, t5, 0, 0, 32); xsi_set_current_line(52, ng0); t2 = (t0 + 2888); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng1))); memset(t6, 0, 8); xsi_vlog_unsigned_add(t6, 32, t4, 32, t5, 32); t7 = (t0 + 2568); xsi_vlogvar_assign_value(t7, t6, 0, 0, 32); xsi_set_current_line(54, ng0); t2 = (t0 + 2888); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 2408); xsi_vlogvar_assign_value(t5, t4, 0, 0, 32); xsi_set_current_line(55, ng0); t2 = (t0 + 4824); xsi_process_wait(t2, 1000LL); *((char **)t1) = &&LAB9; goto LAB1; LAB9: xsi_set_current_line(55, ng0); t3 = (t0 + 2248); t4 = (t3 + 56U); t5 = *((char **)t4); memset(t6, 0, 8); t7 = (t5 + 4); t8 = *((unsigned int *)t7); t9 = (~(t8)); t10 = *((unsigned int *)t5); t11 = (t10 & t9); t12 = (t11 & 1U); if (t12 != 0) goto LAB13; LAB11: if (*((unsigned int *)t7) == 0) goto LAB10; LAB12: t13 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t13) = 1; LAB13: t14 = (t6 + 4); t15 = (t5 + 4); t16 = *((unsigned int *)t5); t17 = (~(t16)); *((unsigned int *)t6) = t17; *((unsigned int *)t14) = 0; if (*((unsigned int *)t15) != 0) goto LAB15; LAB14: t22 = *((unsigned int *)t6); *((unsigned int *)t6) = (t22 & 1U); t23 = *((unsigned int *)t14); *((unsigned int *)t14) = (t23 & 1U); t24 = (t0 + 2248); xsi_vlogvar_assign_value(t24, t6, 0, 0, 1); xsi_set_current_line(56, ng0); LAB16: t2 = (t0 + 1368U); t3 = *((char **)t2); t2 = (t3 + 4); t8 = *((unsigned int *)t2); t9 = (~(t8)); t10 = *((unsigned int *)t3); t11 = (t10 & t9); t12 = (t11 != 0); if (t12 > 0) goto LAB18; LAB17: t4 = (t0 + 8592); *((int *)t4) = 1; t5 = (t0 + 5016U); *((char **)t5) = &&LAB16; goto LAB1; LAB10: *((unsigned int *)t6) = 1; goto LAB13; LAB15: t18 = *((unsigned int *)t6); t19 = *((unsigned int *)t15); *((unsigned int *)t6) = (t18 | t19); t20 = *((unsigned int *)t14); t21 = *((unsigned int *)t15); *((unsigned int *)t14) = (t20 | t21); goto LAB14; LAB18: t7 = (t0 + 8592); *((int *)t7) = 0; xsi_set_current_line(57, ng0); t2 = (t0 + 6560); t3 = (t0 + 4824); xsi_add_process_toexecute(0, t2, t3); t4 = (t0 + 6808); t5 = (t0 + 4824); xsi_add_process_toexecute(0, t4, t5); t7 = (t0 + 3368); memset(t6, 0, 8); *((unsigned int *)t6) = 2; xsi_vlogvar_assign_value(t7, t6, 0, 0, 32); t13 = (t0 + 8608); *((int *)t13) = 1; *((char **)t1) = &&LAB19; goto LAB1; LAB19: t14 = (t0 + 3368); t15 = (t14 + 56U); t24 = *((char **)t15); if (*((int *)t24) > 0) goto LAB20; LAB21: t26 = (t0 + 4824); xsi_clean_active_fork_process_list(t26); xsi_set_current_line(63, ng0); t2 = (t0 + 2888); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 2408); xsi_vlogvar_assign_value(t5, t4, 0, 0, 32); xsi_set_current_line(64, ng0); t2 = (t0 + 4824); xsi_process_wait(t2, 1000LL); *((char **)t1) = &&LAB22; goto LAB1; LAB20: t25 = (t0 + 8608); *((int *)t25) = 1; goto LAB1; LAB22: xsi_set_current_line(64, ng0); t3 = (t0 + 2248); t4 = (t3 + 56U); t5 = *((char **)t4); memset(t6, 0, 8); t7 = (t5 + 4); t8 = *((unsigned int *)t7); t9 = (~(t8)); t10 = *((unsigned int *)t5); t11 = (t10 & t9); t12 = (t11 & 1U); if (t12 != 0) goto LAB26; LAB24: if (*((unsigned int *)t7) == 0) goto LAB23; LAB25: t13 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t13) = 1; LAB26: t14 = (t6 + 4); t15 = (t5 + 4); t16 = *((unsigned int *)t5); t17 = (~(t16)); *((unsigned int *)t6) = t17; *((unsigned int *)t14) = 0; if (*((unsigned int *)t15) != 0) goto LAB28; LAB27: t22 = *((unsigned int *)t6); *((unsigned int *)t6) = (t22 & 1U); t23 = *((unsigned int *)t14); *((unsigned int *)t14) = (t23 & 1U); t24 = (t0 + 2248); xsi_vlogvar_assign_value(t24, t6, 0, 0, 1); xsi_set_current_line(65, ng0); LAB29: t2 = (t0 + 1368U); t3 = *((char **)t2); t2 = (t3 + 4); t8 = *((unsigned int *)t2); t9 = (~(t8)); t10 = *((unsigned int *)t3); t11 = (t10 & t9); t12 = (t11 != 0); if (t12 > 0) goto LAB31; LAB30: t4 = (t0 + 8624); *((int *)t4) = 1; t5 = (t0 + 5016U); *((char **)t5) = &&LAB29; goto LAB1; LAB23: *((unsigned int *)t6) = 1; goto LAB26; LAB28: t18 = *((unsigned int *)t6); t19 = *((unsigned int *)t15); *((unsigned int *)t6) = (t18 | t19); t20 = *((unsigned int *)t14); t21 = *((unsigned int *)t15); *((unsigned int *)t14) = (t20 | t21); goto LAB27; LAB31: t7 = (t0 + 8624); *((int *)t7) = 0; xsi_set_current_line(66, ng0); t2 = (t0 + 7056); t3 = (t0 + 4824); xsi_add_process_toexecute(0, t2, t3); t4 = (t0 + 7304); t5 = (t0 + 4824); xsi_add_process_toexecute(0, t4, t5); t7 = (t0 + 3528); memset(t6, 0, 8); *((unsigned int *)t6) = 2; xsi_vlogvar_assign_value(t7, t6, 0, 0, 32); t13 = (t0 + 8640); *((int *)t13) = 1; *((char **)t1) = &&LAB32; goto LAB1; LAB32: t14 = (t0 + 3528); t15 = (t14 + 56U); t24 = *((char **)t15); if (*((int *)t24) > 0) goto LAB33; LAB34: t26 = (t0 + 4824); xsi_clean_active_fork_process_list(t26); xsi_set_current_line(72, ng0); t2 = (t0 + 2888); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 2408); xsi_vlogvar_assign_value(t5, t4, 0, 0, 32); xsi_set_current_line(73, ng0); t2 = (t0 + 4824); xsi_process_wait(t2, 1000LL); *((char **)t1) = &&LAB35; goto LAB1; LAB33: t25 = (t0 + 8640); *((int *)t25) = 1; goto LAB1; LAB35: xsi_set_current_line(73, ng0); t3 = (t0 + 2248); t4 = (t3 + 56U); t5 = *((char **)t4); memset(t6, 0, 8); t7 = (t5 + 4); t8 = *((unsigned int *)t7); t9 = (~(t8)); t10 = *((unsigned int *)t5); t11 = (t10 & t9); t12 = (t11 & 1U); if (t12 != 0) goto LAB39; LAB37: if (*((unsigned int *)t7) == 0) goto LAB36; LAB38: t13 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t13) = 1; LAB39: t14 = (t6 + 4); t15 = (t5 + 4); t16 = *((unsigned int *)t5); t17 = (~(t16)); *((unsigned int *)t6) = t17; *((unsigned int *)t14) = 0; if (*((unsigned int *)t15) != 0) goto LAB41; LAB40: t22 = *((unsigned int *)t6); *((unsigned int *)t6) = (t22 & 1U); t23 = *((unsigned int *)t14); *((unsigned int *)t14) = (t23 & 1U); t24 = (t0 + 2248); xsi_vlogvar_assign_value(t24, t6, 0, 0, 1); xsi_set_current_line(74, ng0); LAB42: t2 = (t0 + 1368U); t3 = *((char **)t2); t2 = (t3 + 4); t8 = *((unsigned int *)t2); t9 = (~(t8)); t10 = *((unsigned int *)t3); t11 = (t10 & t9); t12 = (t11 != 0); if (t12 > 0) goto LAB44; LAB43: t4 = (t0 + 8656); *((int *)t4) = 1; t5 = (t0 + 5016U); *((char **)t5) = &&LAB42; goto LAB1; LAB36: *((unsigned int *)t6) = 1; goto LAB39; LAB41: t18 = *((unsigned int *)t6); t19 = *((unsigned int *)t15); *((unsigned int *)t6) = (t18 | t19); t20 = *((unsigned int *)t14); t21 = *((unsigned int *)t15); *((unsigned int *)t14) = (t20 | t21); goto LAB40; LAB44: t7 = (t0 + 8656); *((int *)t7) = 0; xsi_set_current_line(75, ng0); t2 = (t0 + 7552); t3 = (t0 + 4824); xsi_add_process_toexecute(0, t2, t3); t4 = (t0 + 7800); t5 = (t0 + 4824); xsi_add_process_toexecute(0, t4, t5); t7 = (t0 + 3688); memset(t6, 0, 8); *((unsigned int *)t6) = 2; xsi_vlogvar_assign_value(t7, t6, 0, 0, 32); t13 = (t0 + 8672); *((int *)t13) = 1; *((char **)t1) = &&LAB45; goto LAB1; LAB45: t14 = (t0 + 3688); t15 = (t14 + 56U); t24 = *((char **)t15); if (*((int *)t24) > 0) goto LAB46; LAB47: t26 = (t0 + 4824); xsi_clean_active_fork_process_list(t26); xsi_set_current_line(81, ng0); t2 = (t0 + 2888); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 2408); xsi_vlogvar_assign_value(t5, t4, 0, 0, 32); xsi_set_current_line(82, ng0); t2 = (t0 + 4824); xsi_process_wait(t2, 1000LL); *((char **)t1) = &&LAB48; goto LAB1; LAB46: t25 = (t0 + 8672); *((int *)t25) = 1; goto LAB1; LAB48: xsi_set_current_line(82, ng0); t3 = (t0 + 2248); t4 = (t3 + 56U); t5 = *((char **)t4); memset(t6, 0, 8); t7 = (t5 + 4); t8 = *((unsigned int *)t7); t9 = (~(t8)); t10 = *((unsigned int *)t5); t11 = (t10 & t9); t12 = (t11 & 1U); if (t12 != 0) goto LAB52; LAB50: if (*((unsigned int *)t7) == 0) goto LAB49; LAB51: t13 = (t6 + 4); *((unsigned int *)t6) = 1; *((unsigned int *)t13) = 1; LAB52: t14 = (t6 + 4); t15 = (t5 + 4); t16 = *((unsigned int *)t5); t17 = (~(t16)); *((unsigned int *)t6) = t17; *((unsigned int *)t14) = 0; if (*((unsigned int *)t15) != 0) goto LAB54; LAB53: t22 = *((unsigned int *)t6); *((unsigned int *)t6) = (t22 & 1U); t23 = *((unsigned int *)t14); *((unsigned int *)t14) = (t23 & 1U); t24 = (t0 + 2248); xsi_vlogvar_assign_value(t24, t6, 0, 0, 1); xsi_set_current_line(83, ng0); LAB55: t2 = (t0 + 1368U); t3 = *((char **)t2); t2 = (t3 + 4); t8 = *((unsigned int *)t2); t9 = (~(t8)); t10 = *((unsigned int *)t3); t11 = (t10 & t9); t12 = (t11 != 0); if (t12 > 0) goto LAB57; LAB56: t4 = (t0 + 8688); *((int *)t4) = 1; t5 = (t0 + 5016U); *((char **)t5) = &&LAB55; goto LAB1; LAB49: *((unsigned int *)t6) = 1; goto LAB52; LAB54: t18 = *((unsigned int *)t6); t19 = *((unsigned int *)t15); *((unsigned int *)t6) = (t18 | t19); t20 = *((unsigned int *)t14); t21 = *((unsigned int *)t15); *((unsigned int *)t14) = (t20 | t21); goto LAB53; LAB57: t7 = (t0 + 8688); *((int *)t7) = 0; xsi_set_current_line(84, ng0); t2 = (t0 + 8048); t3 = (t0 + 4824); xsi_add_process_toexecute(0, t2, t3); t4 = (t0 + 3848); memset(t6, 0, 8); *((unsigned int *)t6) = 1; xsi_vlogvar_assign_value(t4, t6, 0, 0, 32); t5 = (t0 + 8704); *((int *)t5) = 1; *((char **)t1) = &&LAB58; goto LAB1; LAB58: t7 = (t0 + 3848); t13 = (t7 + 56U); t14 = *((char **)t13); if (*((int *)t14) > 0) goto LAB59; LAB60: t24 = (t0 + 4824); xsi_clean_active_fork_process_list(t24); xsi_set_current_line(89, ng0); t2 = (t0 + 2728); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = (t0 + 1928); xsi_vlogvar_assign_value(t5, t4, 0, 0, 32); xsi_set_current_line(91, ng0); t2 = ((char*)((ng2))); t3 = (t0 + 2088); xsi_vlogvar_assign_value(t3, t2, 0, 0, 1); goto LAB6; LAB59: t15 = (t0 + 8704); *((int *)t15) = 1; goto LAB1; LAB61: goto LAB1; }
static void Initial_51_0(char *t0) { char t35[8]; char *t1; char *t2; char *t3; char *t4; char *t5; char *t6; char *t7; char *t8; char *t9; char *t10; char *t11; char *t12; char *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; char *t26; char *t27; char *t28; char *t29; char *t30; char *t31; char *t32; char *t33; char *t34; char *t36; char *t37; char *t38; char *t39; char *t40; char *t41; LAB0: t1 = (t0 + 3488U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(51, ng0); t2 = (t0 + 3544); t3 = (t0 + 3296); xsi_add_process_toexecute(0, t2, t3); t4 = (t0 + 3792); t5 = (t0 + 3296); xsi_add_process_toexecute(0, t4, t5); t6 = (t0 + 4040); t7 = (t0 + 3296); xsi_add_process_toexecute(0, t6, t7); t8 = (t0 + 4288); t9 = (t0 + 3296); xsi_add_process_toexecute(0, t8, t9); t10 = (t0 + 4536); t11 = (t0 + 3296); xsi_add_process_toexecute(0, t10, t11); t12 = (t0 + 4784); t13 = (t0 + 3296); xsi_add_process_toexecute(0, t12, t13); t14 = (t0 + 5032); t15 = (t0 + 3296); xsi_add_process_toexecute(0, t14, t15); t16 = (t0 + 5280); t17 = (t0 + 3296); xsi_add_process_toexecute(0, t16, t17); t18 = (t0 + 5528); t19 = (t0 + 3296); xsi_add_process_toexecute(0, t18, t19); t20 = (t0 + 5776); t21 = (t0 + 3296); xsi_add_process_toexecute(0, t20, t21); t22 = (t0 + 6024); t23 = (t0 + 3296); xsi_add_process_toexecute(0, t22, t23); t24 = (t0 + 6272); t25 = (t0 + 3296); xsi_add_process_toexecute(0, t24, t25); t26 = (t0 + 6520); t27 = (t0 + 3296); xsi_add_process_toexecute(0, t26, t27); t28 = (t0 + 6768); t29 = (t0 + 3296); xsi_add_process_toexecute(0, t28, t29); t30 = (t0 + 7016); t31 = (t0 + 3296); xsi_add_process_toexecute(0, t30, t31); t32 = (t0 + 7264); t33 = (t0 + 3296); xsi_add_process_toexecute(0, t32, t33); t34 = (t0 + 2568); memset(t35, 0, 8); *((unsigned int *)t35) = 16; xsi_vlogvar_assign_value(t34, t35, 0, 0, 32); t36 = (t0 + 7776); *((int *)t36) = 1; *((char **)t1) = &&LAB4; LAB1: return; LAB4: t37 = (t0 + 2568); t38 = (t37 + 56U); t39 = *((char **)t38); if (*((int *)t39) > 0) goto LAB5; LAB6: t41 = (t0 + 3296); xsi_clean_active_fork_process_list(t41); goto LAB1; LAB5: t40 = (t0 + 7776); *((int *)t40) = 1; goto LAB1; }