t27 = (t26 != 0);
    if (t27 > 0)
        goto LAB32;

LAB33:
LAB34:    xsi_set_current_line(61, ng0);
    t2 = (t0 + 564U);
    t3 = *((char **)t2);
    memset(t6, 0, 8);
    t2 = (t6 + 4U);
    t4 = (t3 + 4U);
    t7 = *((unsigned int *)t3);
    t8 = (t7 >> 1);
    *((unsigned int *)t6) = t8;
    t9 = *((unsigned int *)t4);
    t10 = (t9 >> 1);
    *((unsigned int *)t2) = t10;
    t11 = *((unsigned int *)t6);
    *((unsigned int *)t6) = (t11 & 7U);
    t12 = *((unsigned int *)t2);
    *((unsigned int *)t2) = (t12 & 7U);
    t5 = (t0 + 968);
    xsi_vlogvar_assign_value(t5, t6, 0, 0, 3);
    xsi_set_current_line(62, ng0);
    t2 = (t0 + 968);
    t3 = (t2 + 32U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng2)));
    memset(t6, 0, 8);
    t13 = (t6 + 4U);
    t14 = (t4 + 4U);
    t15 = (t5 + 4U);
    t7 = *((unsigned int *)t4);
    t8 = *((unsigned int *)t5);
    t9 = (t7 ^ t8);
    t10 = *((unsigned int *)t14);
    t11 = *((unsigned int *)t15);
    t12 = (t10 ^ t11);
    t16 = (t9 | t12);
    t17 = *((unsigned int *)t14);
    t18 = *((unsigned int *)t15);
    t19 = (t17 | t18);
    t20 = (~(t19));
    t21 = (t16 & t20);
    if (t21 != 0)
        goto LAB38;

LAB35:    if (t19 != 0)
        goto LAB37;

LAB36:    *((unsigned int *)t6) = 1;

LAB38:    t22 = (t6 + 4U);
    t23 = *((unsigned int *)t22);
    t24 = (~(t23));
    t25 = *((unsigned int *)t6);
    t26 = (t25 & t24);
    t27 = (t26 != 0);
    if (t27 > 0)
        goto LAB39;

LAB40:
LAB41:    xsi_set_current_line(65, ng0);
    t2 = (t0 + 564U);
    t3 = *((char **)t2);
    memset(t6, 0, 8);
    t2 = (t6 + 4U);
    t4 = (t3 + 4U);
    t7 = *((unsigned int *)t3);
    t8 = (t7 >> 0);
    *((unsigned int *)t6) = t8;
    t9 = *((unsigned int *)t4);
    t10 = (t9 >> 0);
    *((unsigned int *)t2) = t10;
    t11 = *((unsigned int *)t6);
    *((unsigned int *)t6) = (t11 & 7U);
    t12 = *((unsigned int *)t2);
    *((unsigned int *)t2) = (t12 & 7U);
    t5 = (t0 + 968);
    xsi_vlogvar_assign_value(t5, t6, 0, 0, 3);
    xsi_set_current_line(66, ng0);
    t2 = (t0 + 968);
    t3 = (t2 + 32U);
    t4 = *((char **)t3);
    t5 = ((char*)((ng2)));
    memset(t6, 0, 8);
    t13 = (t6 + 4U);
    t14 = (t4 + 4U);
    t15 = (t5 + 4U);
    t7 = *((unsigned int *)t4);
    t8 = *((unsigned int *)t5);
    t9 = (t7 ^ t8);
    t10 = *((unsigned int *)t14);
    t11 = *((unsigned int *)t15);
    t12 = (t10 ^ t11);
    t16 = (t9 | t12);
    t17 = *((unsigned int *)t14);
    t18 = *((unsigned int *)t15);
    t19 = (t17 | t18);
    t20 = (~(t19));
    t21 = (t16 & t20);
    if (t21 != 0)
        goto LAB45;

LAB42:    if (t19 != 0)
        goto LAB44;

LAB43:    *((unsigned int *)t6) = 1;

LAB45:    t22 = (t6 + 4U);
    t23 = *((unsigned int *)t22);
    t24 = (~(t23));
    t25 = *((unsigned int *)t6);
    t26 = (t25 & t24);
    t27 = (t26 != 0);
    if (t27 > 0)
        goto LAB46;

LAB47:
LAB48:    goto LAB2;

LAB9:    *((unsigned int *)t6) = 1;
    *((unsigned int *)t13) = 1;
    goto LAB10;

LAB11:    xsi_set_current_line(51, ng0);
    t28 = (t0 + 1060);
    t29 = (t28 + 32U);
    t30 = *((char **)t29);
    t31 = ((char*)((ng3)));
    memset(t32, 0, 8);
    xsi_vlog_unsigned_add(t32, 32, t30, 2, t31, 32);
    t33 = (t0 + 1060);
    xsi_vlogvar_assign_value(t33, t32, 0, 0, 2);
    goto LAB13;

LAB16:    *((unsigned int *)t6) = 1;
    *((unsigned int *)t13) = 1;
    goto LAB17;

LAB18:    xsi_set_current_line(54, ng0);
    t28 = (t0 + 1060);
    t29 = (t28 + 32U);
    t30 = *((char **)t29);
    t31 = ((char*)((ng3)));
    memset(t32, 0, 8);
    xsi_vlog_unsigned_add(t32, 32, t30, 2, t31, 32);
    t33 = (t0 + 1060);
    xsi_vlogvar_assign_value(t33, t32, 0, 0, 2);
    goto LAB20;

LAB23:    *((unsigned int *)t6) = 1;
    *((unsigned int *)t13) = 1;
    goto LAB24;

LAB25:    xsi_set_current_line(57, ng0);
    t28 = (t0 + 1060);
    t29 = (t28 + 32U);
    t30 = *((char **)t29);
    t31 = ((char*)((ng3)));
    memset(t32, 0, 8);
    xsi_vlog_unsigned_add(t32, 32, t30, 2, t31, 32);
    t33 = (t0 + 1060);
    xsi_vlogvar_assign_value(t33, t32, 0, 0, 2);
    goto LAB27;

LAB30:    *((unsigned int *)t6) = 1;
    *((unsigned int *)t13) = 1;
    goto LAB31;

LAB32:    xsi_set_current_line(60, ng0);
    t28 = (t0 + 1060);
    t29 = (t28 + 32U);
    t30 = *((char **)t29);
    t31 = ((char*)((ng3)));
    memset(t32, 0, 8);
    xsi_vlog_unsigned_add(t32, 32, t30, 2, t31, 32);
    t33 = (t0 + 1060);
    xsi_vlogvar_assign_value(t33, t32, 0, 0, 2);
    goto LAB34;

LAB37:    *((unsigned int *)t6) = 1;
    *((unsigned int *)t13) = 1;
    goto LAB38;

LAB39:    xsi_set_current_line(63, ng0);
    t28 = (t0 + 1060);
    t29 = (t28 + 32U);
    t30 = *((char **)t29);
    t31 = ((char*)((ng3)));
    memset(t32, 0, 8);
    xsi_vlog_unsigned_add(t32, 32, t30, 2, t31, 32);
    t33 = (t0 + 1060);
    xsi_vlogvar_assign_value(t33, t32, 0, 0, 2);
    goto LAB41;

LAB44:    *((unsigned int *)t6) = 1;
    *((unsigned int *)t13) = 1;
    goto LAB45;

LAB46:    xsi_set_current_line(67, ng0);
    t28 = (t0 + 1060);
    t29 = (t28 + 32U);
    t30 = *((char **)t29);
    t31 = ((char*)((ng3)));
    memset(t32, 0, 8);
    xsi_vlog_unsigned_add(t32, 32, t30, 2, t31, 32);
    t33 = (t0 + 1060);
    xsi_vlogvar_assign_value(t33, t32, 0, 0, 2);
    goto LAB48;

}

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

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

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(80, ng0);
    t2 = (t0 + 1852);
    *((int *)t2) = 1;
    t3 = (t0 + 1692);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line(81, ng0);
    t4 = (t0 + 1060);
    t5 = (t4 + 32U);
    t6 = *((char **)t5);

LAB5:    t7 = ((char*)((ng4)));
    t8 = xsi_vlog_unsigned_case_compare(t6, 2, t7, 2);
    if (t8 == 1)
        goto LAB6;

LAB7:    t2 = ((char*)((ng6)));
    t8 = xsi_vlog_unsigned_case_compare(t6, 2, t2, 2);
    if (t8 == 1)
        goto LAB8;

LAB9:    t2 = ((char*)((ng8)));
    t8 = xsi_vlog_unsigned_case_compare(t6, 2, t2, 2);
    if (t8 == 1)
        goto LAB10;

LAB11:    t2 = ((char*)((ng10)));
    t8 = xsi_vlog_unsigned_case_compare(t6, 2, t2, 2);
    if (t8 == 1)
        goto LAB12;

LAB13:
LAB15:
LAB14:    xsi_set_current_line(94, ng0);

LAB21:    xsi_set_current_line(95, ng0);
    t2 = ((char*)((ng12)));
    t3 = (t0 + 876);
    xsi_vlogvar_assign_value(t3, t2, 0, 0, 7);

LAB16:    goto LAB2;

LAB6:    xsi_set_current_line(82, ng0);

LAB17:    xsi_set_current_line(83, ng0);
    t9 = ((char*)((ng5)));
    t10 = (t0 + 876);
    xsi_vlogvar_assign_value(t10, t9, 0, 0, 7);
    goto LAB16;

LAB8:    xsi_set_current_line(85, ng0);

LAB18:    xsi_set_current_line(86, ng0);
    t3 = ((char*)((ng7)));
    t4 = (t0 + 876);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
    goto LAB16;

LAB10:    xsi_set_current_line(88, ng0);

LAB19:    xsi_set_current_line(89, ng0);
    t3 = ((char*)((ng9)));
    t4 = (t0 + 876);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
    goto LAB16;

LAB12:    xsi_set_current_line(91, ng0);

LAB20:    xsi_set_current_line(92, ng0);
    t3 = ((char*)((ng11)));
    t4 = (t0 + 876);
    xsi_vlogvar_assign_value(t4, t3, 0, 0, 7);
    goto LAB16;

}


extern void work_m_00000000000615337577_3649235597_init()
{
	static char *pe[] = {(void *)A32_0,(void *)A80_1};
	xsi_register_didat("work_m_00000000000615337577_3649235597", "isim/_tmp/work/m_00000000000615337577_3649235597.didat");
	xsi_register_executes(pe);
}