void Monitor_64_2(char *t0)
{
    char *t1;
    char *t2;

LAB0:    t1 = (t0 + 3472);
    t2 = (t0 + 3984);
    xsi_vlogfile_monitor((void *)Monitor_64_2_Func, t1, t2);

LAB1:    return;
}
void Monitor_56_4(char *t0)
{
    char *t1;
    char *t2;

LAB0:    t1 = (t0 + 3208);
    t2 = (t0 + 3504);
    xsi_vlogfile_monitor((void *)Monitor_56_4_Func, t1, t2);

LAB1:    return;
}
void Monitor_89_2(char *t0)
{
    char *t1;
    char *t2;

LAB0:    t1 = (t0 + 3312);
    t2 = (t0 + 3824);
    xsi_vlogfile_monitor((void *)Monitor_89_2_Func, t1, t2);

LAB1:    return;
}
void Monitor_60_2(char *t0)
{
    char *t1;
    char *t2;

LAB0:    t1 = (t0 + 2064);
    t2 = (t0 + 2360);
    xsi_vlogfile_monitor((void *)Monitor_60_2_Func, t1, t2);

LAB1:    return;
}