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;
}