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;

}