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

LAB0:    xsi_set_current_line(68, ng0);
    t2 = (t0 + 1032U);
    t3 = *((char **)t2);
    t2 = (t0 + 7220U);
    t4 = (t0 + 1192U);
    t5 = *((char **)t4);
    t4 = (t0 + 7236U);
    t6 = ieee_p_0774719531_sub_767632659_2162500114(IEEE_P_0774719531, t1, t3, t2, t5, t4);
    t7 = (t0 + 4520);
    t8 = (t7 + 56U);
    t9 = *((char **)t8);
    t10 = (t9 + 56U);
    t11 = *((char **)t10);
    memcpy(t11, t6, 64U);
    xsi_driver_first_trans_fast(t7);
    t2 = (t0 + 4408);
    *((int *)t2) = 1;

LAB1:    return;
}
static void work_a_3025319636_3212880686_p_4(char *t0)
{
    char t5[16];
    char t12[16];
    char *t1;
    char *t2;
    unsigned char t3;
    unsigned char t4;
    char *t6;
    char *t7;
    char *t8;
    unsigned int t9;
    unsigned int t10;
    unsigned int t11;
    char *t13;
    char *t14;
    int t15;
    unsigned int t16;
    char *t17;
    unsigned int t18;
    unsigned char t19;
    char *t20;
    char *t21;
    char *t22;
    char *t23;
    char *t24;

LAB0:    xsi_set_current_line(55, ng0);
    t1 = (t0 + 776U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t4 = (t3 == (unsigned char)3);
    if (t4 != 0)
        goto LAB2;

LAB4:    xsi_set_current_line(59, ng0);
    t1 = (t0 + 1144U);
    t2 = *((char **)t1);
    t1 = (t0 + 3040);
    t6 = (t1 + 32U);
    t7 = *((char **)t6);
    t8 = (t7 + 40U);
    t13 = *((char **)t8);
    memcpy(t13, t2, 96U);
    xsi_driver_first_trans_fast(t1);

LAB3:    t1 = (t0 + 2844);
    *((int *)t1) = 1;

LAB1:    return;
LAB2:    xsi_set_current_line(56, ng0);
    t1 = (t0 + 592U);
    t6 = *((char **)t1);
    t1 = (t0 + 4600U);
    t7 = (t0 + 684U);
    t8 = *((char **)t7);
    t9 = (31 - 31);
    t10 = (t9 * 1U);
    t11 = (0 + t10);
    t7 = (t8 + t11);
    t13 = (t12 + 0U);
    t14 = (t13 + 0U);
    *((int *)t14) = 31;
    t14 = (t13 + 4U);
    *((int *)t14) = 16;
    t14 = (t13 + 8U);
    *((int *)t14) = -1;
    t15 = (16 - 31);
    t16 = (t15 * -1);
    t16 = (t16 + 1);
    t14 = (t13 + 12U);
    *((unsigned int *)t14) = t16;
    t14 = ieee_p_0774719531_sub_767632659_2162500114(IEEE_P_0774719531, t5, t6, t1, t7, t12);
    t17 = (t5 + 12U);
    t16 = *((unsigned int *)t17);
    t18 = (1U * t16);
    t19 = (48U != t18);
    if (t19 == 1)
        goto LAB5;

LAB6:    t20 = (t0 + 3040);
    t21 = (t20 + 32U);
    t22 = *((char **)t21);
    t23 = (t22 + 40U);
    t24 = *((char **)t23);
    memcpy(t24, t14, 48U);
    xsi_driver_first_trans_delta(t20, 0U, 48U, 0LL);
    xsi_set_current_line(57, ng0);
    t1 = (t0 + 592U);
    t2 = *((char **)t1);
    t1 = (t0 + 4600U);
    t6 = (t0 + 684U);
    t7 = *((char **)t6);
    t9 = (31 - 15);
    t10 = (t9 * 1U);
    t11 = (0 + t10);
    t6 = (t7 + t11);
    t8 = (t12 + 0U);
    t13 = (t8 + 0U);
    *((int *)t13) = 15;
    t13 = (t8 + 4U);
    *((int *)t13) = 0;
    t13 = (t8 + 8U);
    *((int *)t13) = -1;
    t15 = (0 - 15);
    t16 = (t15 * -1);
    t16 = (t16 + 1);
    t13 = (t8 + 12U);
    *((unsigned int *)t13) = t16;
    t13 = ieee_p_0774719531_sub_767632659_2162500114(IEEE_P_0774719531, t5, t2, t1, t6, t12);
    t14 = (t5 + 12U);
    t16 = *((unsigned int *)t14);
    t18 = (1U * t16);
    t3 = (48U != t18);
    if (t3 == 1)
        goto LAB7;

LAB8:    t17 = (t0 + 3040);
    t20 = (t17 + 32U);
    t21 = *((char **)t20);
    t22 = (t21 + 40U);
    t23 = *((char **)t22);
    memcpy(t23, t13, 48U);
    xsi_driver_first_trans_delta(t17, 48U, 48U, 0LL);
    goto LAB3;

LAB5:    xsi_size_not_matching(48U, t18, 0);
    goto LAB6;

LAB7:    xsi_size_not_matching(48U, t18, 0);
    goto LAB8;

}