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

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

LAB3:
    goto *t2;

LAB2:
    t2 = (t0 + 1776U);
    t3 = *((char **)t2);
    t2 = (t0 + 1936U);
    t4 = *((char **)t2);
    t2 = (t0 + 4328);
    t5 = (t2 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    xsi_vlog_bufIf0Gate(t8, t3, t4);
    t9 = (t0 + 4328);
    xsi_driver_vfirst_trans_bufif(t9, 0, 0);
    t10 = (t0 + 4168);
    *((int *)t10) = 1;

LAB1:
    return;
}
static void Gate_39_3(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;

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

LAB3:    goto *t2;

LAB2:    t2 = (t0 + 1640U);
    t3 = *((char **)t2);
    t2 = (t0 + 1960U);
    t4 = *((char **)t2);
    t2 = (t0 + 4912);
    t5 = (t2 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    xsi_vlog_notIf0Gate(t8, t3, t4);
    t9 = (t0 + 4912);
    xsi_driver_vfirst_trans_bufif(t9, 0, 0);
    t10 = (t0 + 4640);
    *((int *)t10) = 1;

LAB1:    return;
}
static void Gate_51_2(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;

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

LAB3:    goto *t2;

LAB2:    t2 = (t0 + 2184U);
    t3 = *((char **)t2);
    t2 = (t0 + 2504U);
    t4 = *((char **)t2);
    t2 = (t0 + 5816);
    t5 = (t2 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    xsi_vlog_bufIf0Gate(t8, t3, t4);
    t9 = (t0 + 5816);
    xsi_driver_vfirst_trans_bufif(t9, 0, 0);
    t10 = (t0 + 5576);
    *((int *)t10) = 1;

LAB1:    return;
}
static void Gate_37_1(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    char *t9;
    char *t10;

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

LAB3:    goto *t2;

LAB2:    t2 = (t0 + 1012U);
    t3 = *((char **)t2);
    t2 = (t0 + 1104U);
    t4 = *((char **)t2);
    t2 = (t0 + 2336);
    t5 = (t2 + 32U);
    t6 = *((char **)t5);
    t7 = (t6 + 40U);
    t8 = *((char **)t7);
    xsi_vlog_bufIf0Gate(t8, t3, t4);
    t9 = (t0 + 2336);
    xsi_driver_vfirst_trans_bufif(t9, 0, 0);
    t10 = (t0 + 2256);
    *((int *)t10) = 1;

LAB1:    return;
}