static void Initial_27_0(char *t0) { char t1[8]; char *t2; char *t3; char *t4; char *t5; char *t6; LAB0: xsi_set_current_line(27, ng0); LAB2: xsi_set_current_line(28, ng0); *((int *)t1) = xsi_vlogfile_file_open_of_cname(ng1); t2 = (t1 + 4); *((int *)t2) = 0; t3 = (t0 + 1880); xsi_vlogvar_assign_value(t3, t1, 0, 0, 32); xsi_set_current_line(29, ng0); t2 = (t0 + 1880); t3 = (t2 + 56U); t4 = *((char **)t3); t5 = ((char*)((ng2))); memset(t1, 0, 8); xsi_vlog_signed_bit_or(t1, 32, t4, 32, t5, 32); t6 = (t0 + 2040); xsi_vlogvar_assign_value(t6, t1, 0, 0, 32); LAB1: return; }
static void Always_35_1(char *t0) { char t4[8]; char *t1; char *t2; char *t3; char *t5; char *t6; char *t7; char *t8; LAB0: t1 = (t0 + 1840U); t2 = *((char **)t1); if (t2 == 0) goto LAB2; LAB3: goto *t2; LAB2: xsi_set_current_line(35, ng0); t2 = (t0 + 2036); *((int *)t2) = 1; t3 = (t0 + 1868); *((char **)t3) = t2; *((char **)t1) = &&LAB4; LAB1: return; LAB4: xsi_set_current_line(35, ng0); LAB5: xsi_set_current_line(36, ng0); *((int *)t4) = xsi_vlogfile_file_open_of_cname(ng1); t5 = (t4 + 4); *((int *)t5) = 0; t6 = (t0 + 1080); xsi_vlogvar_assign_value(t6, t4, 0, 0, 32); xsi_set_current_line(39, ng0); t2 = (t0 + 1080); t3 = (t2 + 36U); t5 = *((char **)t3); xsi_vlogfile_write(0, 0, 0, ng2, 2, t0, (char)119, t5, 32); t6 = ((char*)((ng4))); t7 = (t0 + 852U); t8 = *((char **)t7); xsi_vlogfile_write(1, 0, 0, ng3, 3, t0, (char)118, t6, 80, (char)118, t8, 32); xsi_set_current_line(40, ng0); t2 = (t0 + 1080); t3 = (t2 + 36U); t5 = *((char **)t3); xsi_vlogfile_fclose(*((unsigned int *)t5)); goto LAB2; }