/* Local variables: c-indent-level: 4 c-basic-offset: 4 tab-width: 8 End:  */
static void GCC_FMT_ATTR(2, 3)
/* Local variables: c-indent-level: 4 c-basic-offset: 4 tab-width: 8 End:  */
static void GCC_FMT_ATTR(2, 3)
{
    va_list ap;
    va_start(ap, fmt);
    monitor_vprintf((Monitor *)stream, fmt, ap);
    va_end(ap);
    return 0;
}