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

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

LAB3:
    goto *t2;

LAB2:
    t2 = ((char*)((ng0)));
    t3 = (t0 + 1936U);
    t4 = *((char **)t3);
    t3 = (t0 + 7944);
    t5 = (t3 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    xsi_vlog_nmosSwitch(t8, t2, t4);
    t9 = (t0 + 7944);
    t10 = (t9 + 56U);
    xsi_vlog_switch_set_trans_strength(*((char **)t10), 0, 0, 0, 0);
    t11 = (t0 + 7944);
    xsi_driver_vfirst_trans_bufif_delayed(t11, 0, 0, 1LL, 0);
    t12 = (t0 + 7608);
    *((int *)t12) = 1;

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

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

LAB3:    goto *t2;

LAB2:    t2 = (t0 + 3856U);
    t3 = *((char **)t2);
    t2 = (t0 + 2256U);
    t4 = *((char **)t2);
    t2 = (t0 + 13224);
    t5 = (t2 + 56U);
    t6 = *((char **)t5);
    t7 = (t6 + 56U);
    t8 = *((char **)t7);
    xsi_vlog_nmosSwitch(t8, t3, t4);
    t9 = (t0 + 13224);
    t10 = (t9 + 56U);
    t11 = (t0 + 3816U);
    xsi_vlog_switch_set_trans_strength(*((char **)t10), t11, 0, 0, 0);
    t12 = (t0 + 13224);
    xsi_driver_vfirst_trans_bufif_delayed(t12, 0, 0, 0LL, 0);
    t13 = (t0 + 12136);
    *((int *)t13) = 1;

LAB1:    return;
}