static void do_info_trace(Monitor *mon)

{

    st_print_trace((FILE *)mon, &monitor_fprintf);

}

static void do_info_trace(Monitor *mon)

{

    st_print_trace((FILE *)mon, &monitor_fprintf);

}

static void do_info_trace(Monitor *mon)     st_print_trace((FILE *)mon, &monitor_fprintf);
static void FUNC_0(Monitor *VAR_0)

{

    st_print_trace((FILE *)VAR_0, &monitor_fprintf);

}

static void FUNC_0(Monitor *VAR_0)
{ st_print_trace((FILE *)VAR_0, &monitor_fprintf); }