static void Always_24_3(char *t0)
{
    char t4[8];
    char *t1;
    char *t2;
    char *t3;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    int t9;
    char *t10;
    char *t11;

LAB0:    t1 = (t0 + 4552U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(24, ng0);
    t2 = (t0 + 4920);
    *((int *)t2) = 1;
    t3 = (t0 + 4584);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line(25, ng0);
    t5 = (t0 + 2328U);
    t6 = *((char **)t5);
    t5 = (t0 + 2168U);
    t7 = *((char **)t5);
    t5 = (t0 + 2488U);
    t8 = *((char **)t5);
    xsi_vlogtype_concat(t4, 3, 3, 3U, t8, 1, t7, 1, t6, 1);

LAB5:    t5 = ((char*)((ng2)));
    t9 = xsi_vlog_unsigned_case_xcompare(t4, 3, t5, 3);
    if (t9 == 1)
        goto LAB6;

LAB7:    t2 = ((char*)((ng3)));
    t9 = xsi_vlog_unsigned_case_xcompare(t4, 3, t2, 3);
    if (t9 == 1)
        goto LAB8;

LAB9:
LAB11:
LAB10:    xsi_set_current_line(28, ng0);
    t2 = (t0 + 1208U);
    t3 = *((char **)t2);
    t2 = (t0 + 2888);
    xsi_vlogvar_assign_value(t2, t3, 0, 0, 32);

LAB12:    goto LAB2;

LAB6:    xsi_set_current_line(26, ng0);
    t10 = (t0 + 1368U);
    t11 = *((char **)t10);
    t10 = (t0 + 2888);
    xsi_vlogvar_assign_value(t10, t11, 0, 0, 32);
    goto LAB12;

LAB8:    xsi_set_current_line(27, ng0);
    t3 = (t0 + 2008U);
    t5 = *((char **)t3);
    t3 = (t0 + 2888);
    xsi_vlogvar_assign_value(t3, t5, 0, 0, 32);
    goto LAB12;

}
static void Always_93_1(char *t0)
{
    char t4[8];
    char *t1;
    char *t2;
    char *t3;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    int t10;
    char *t11;
    char *t12;

LAB0:    t1 = (t0 + 2416U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(93, ng0);
    t2 = (t0 + 2620);
    *((int *)t2) = 1;
    t3 = (t0 + 2444);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line(94, ng0);

LAB5:    xsi_set_current_line(95, ng0);
    t5 = (t0 + 692U);
    t6 = *((char **)t5);
    t5 = (t0 + 1748);
    t7 = (t5 + 36U);
    t8 = *((char **)t7);
    xsi_vlogtype_concat(t4, 8, 8, 2U, t8, 2, t6, 6);

LAB6:    t9 = ((char*)((ng10)));
    t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t9, 8);
    if (t10 == 1)
        goto LAB7;

LAB8:    t2 = ((char*)((ng11)));
    t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8);
    if (t10 == 1)
        goto LAB9;

LAB10:    t2 = ((char*)((ng13)));
    t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8);
    if (t10 == 1)
        goto LAB11;

LAB12:    t2 = ((char*)((ng14)));
    t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8);
    if (t10 == 1)
        goto LAB13;

LAB14:    t2 = ((char*)((ng15)));
    t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8);
    if (t10 == 1)
        goto LAB15;

LAB16:    t2 = ((char*)((ng16)));
    t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8);
    if (t10 == 1)
        goto LAB17;

LAB18:    t2 = ((char*)((ng17)));
    t10 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8);
    if (t10 == 1)
        goto LAB19;

LAB20:
LAB22:
LAB21:    xsi_set_current_line(103, ng0);
    t2 = ((char*)((ng1)));
    t3 = (t0 + 1656);
    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);

LAB23:    goto LAB2;

LAB7:    xsi_set_current_line(96, ng0);
    t11 = ((char*)((ng4)));
    t12 = (t0 + 1656);
    xsi_vlogvar_assign_value(t12, t11, 0, 0, 4);
    goto LAB23;

LAB9:    xsi_set_current_line(97, ng0);
    t3 = ((char*)((ng12)));
    t5 = (t0 + 1656);
    xsi_vlogvar_assign_value(t5, t3, 0, 0, 4);
    goto LAB23;

LAB11:    xsi_set_current_line(98, ng0);
    t3 = ((char*)((ng4)));
    t5 = (t0 + 1656);
    xsi_vlogvar_assign_value(t5, t3, 0, 0, 4);
    goto LAB23;

LAB13:    xsi_set_current_line(99, ng0);
    t3 = ((char*)((ng12)));
    t5 = (t0 + 1656);
    xsi_vlogvar_assign_value(t5, t3, 0, 0, 4);
    goto LAB23;

LAB15:    xsi_set_current_line(100, ng0);
    t3 = ((char*)((ng1)));
    t5 = (t0 + 1656);
    xsi_vlogvar_assign_value(t5, t3, 0, 0, 4);
    goto LAB23;

LAB17:    xsi_set_current_line(101, ng0);
    t3 = ((char*)((ng9)));
    t5 = (t0 + 1656);
    xsi_vlogvar_assign_value(t5, t3, 0, 0, 4);
    goto LAB23;

LAB19:    xsi_set_current_line(102, ng0);
    t3 = ((char*)((ng18)));
    t5 = (t0 + 1656);
    xsi_vlogvar_assign_value(t5, t3, 0, 0, 4);
    goto LAB23;

}
static void Always_27_0(char *t0)
{
    char t4[8];
    char *t1;
    char *t2;
    char *t3;
    char *t5;
    char *t6;
    char *t7;
    int t8;
    char *t9;
    char *t10;

LAB0:    t1 = (t0 + 2528U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(27, ng0);
    t2 = (t0 + 2848);
    *((int *)t2) = 1;
    t3 = (t0 + 2560);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line(28, ng0);
    t5 = (t0 + 1208U);
    t6 = *((char **)t5);
    t5 = (t0 + 1048U);
    t7 = *((char **)t5);
    xsi_vlogtype_concat(t4, 8, 8, 2U, t7, 2, t6, 6);

LAB5:    t5 = ((char*)((ng1)));
    t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t5, 8);
    if (t8 == 1)
        goto LAB6;

LAB7:    t2 = ((char*)((ng3)));
    t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8);
    if (t8 == 1)
        goto LAB8;

LAB9:    t2 = ((char*)((ng5)));
    t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8);
    if (t8 == 1)
        goto LAB10;

LAB11:    t2 = ((char*)((ng6)));
    t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8);
    if (t8 == 1)
        goto LAB12;

LAB13:    t2 = ((char*)((ng7)));
    t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8);
    if (t8 == 1)
        goto LAB14;

LAB15:    t2 = ((char*)((ng9)));
    t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8);
    if (t8 == 1)
        goto LAB16;

LAB17:    t2 = ((char*)((ng11)));
    t8 = xsi_vlog_unsigned_case_xcompare(t4, 8, t2, 8);
    if (t8 == 1)
        goto LAB18;

LAB19:
LAB20:    goto LAB2;

LAB6:    xsi_set_current_line(29, ng0);
    t9 = ((char*)((ng2)));
    t10 = (t0 + 1608);
    xsi_vlogvar_assign_value(t10, t9, 0, 0, 4);
    goto LAB20;

LAB8:    xsi_set_current_line(30, ng0);
    t3 = ((char*)((ng4)));
    t5 = (t0 + 1608);
    xsi_vlogvar_assign_value(t5, t3, 0, 0, 4);
    goto LAB20;

LAB10:    xsi_set_current_line(31, ng0);
    t3 = ((char*)((ng2)));
    t5 = (t0 + 1608);
    xsi_vlogvar_assign_value(t5, t3, 0, 0, 4);
    goto LAB20;

LAB12:    xsi_set_current_line(32, ng0);
    t3 = ((char*)((ng4)));
    t5 = (t0 + 1608);
    xsi_vlogvar_assign_value(t5, t3, 0, 0, 4);
    goto LAB20;

LAB14:    xsi_set_current_line(33, ng0);
    t3 = ((char*)((ng8)));
    t5 = (t0 + 1608);
    xsi_vlogvar_assign_value(t5, t3, 0, 0, 4);
    goto LAB20;

LAB16:    xsi_set_current_line(34, ng0);
    t3 = ((char*)((ng10)));
    t5 = (t0 + 1608);
    xsi_vlogvar_assign_value(t5, t3, 0, 0, 4);
    goto LAB20;

LAB18:    xsi_set_current_line(35, ng0);
    t3 = ((char*)((ng12)));
    t5 = (t0 + 1608);
    xsi_vlogvar_assign_value(t5, t3, 0, 0, 4);
    goto LAB20;

}
static void Always_59_4(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    int t6;
    char *t7;
    char *t8;
    char *t9;

LAB0:
    t1 = (t0 + 3584U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:
    goto *t2;

LAB2:
    xsi_set_current_line(59, ng0);
    t2 = (t0 + 4676);
    *((int *)t2) = 1;
    t3 = (t0 + 3612);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

LAB1:
    return;
LAB4:
    xsi_set_current_line(60, ng0);

LAB5:
    xsi_set_current_line(61, ng0);
    t4 = (t0 + 784U);
    t5 = *((char **)t4);

LAB6:
    t4 = ((char*)((ng1)));
    t6 = xsi_vlog_unsigned_case_xcompare(t5, 32, t4, 32);
    if (t6 == 1)
        goto LAB7;

LAB8:
    t2 = ((char*)((ng3)));
    t6 = xsi_vlog_unsigned_case_xcompare(t5, 32, t2, 32);
    if (t6 == 1)
        goto LAB9;

LAB10:
LAB12:
LAB11:
    xsi_set_current_line(64, ng0);
    t2 = ((char*)((ng5)));
    t3 = (t0 + 2300);
    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);
    t4 = (t0 + 2208);
    xsi_vlogvar_assign_value(t4, t2, 1, 0, 1);

LAB13:
    goto LAB2;

LAB7:
    xsi_set_current_line(62, ng0);
    t7 = ((char*)((ng2)));
    t8 = (t0 + 2300);
    xsi_vlogvar_assign_value(t8, t7, 0, 0, 1);
    t9 = (t0 + 2208);
    xsi_vlogvar_assign_value(t9, t7, 1, 0, 1);
    goto LAB13;

LAB9:
    xsi_set_current_line(63, ng0);
    t3 = ((char*)((ng4)));
    t4 = (t0 + 2300);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 1);
    t7 = (t0 + 2208);
    xsi_vlogvar_assign_value(t7, t3, 1, 0, 1);
    goto LAB13;

}