static void monitor_puts(Monitor *mon, const char *str)

{

    char c;



    for(;;) {

        c = *str++;

        if (c == '\0')

            break;

        if (c == '\n') {

            qstring_append_chr(mon->outbuf, '\r');

        }

        qstring_append_chr(mon->outbuf, c);

        if (c == '\n') {

            monitor_flush(mon);

        }

    }

}

static void monitor_puts(Monitor *mon, const char *str)

{

    char c;



    for(;;) {

        c = *str++;

        if (c == '\0')

            break;

        if (c == '\n') {

            qstring_append_chr(mon->outbuf, '\r');

        }

        qstring_append_chr(mon->outbuf, c);

        if (c == '\n') {

            monitor_flush(mon);

        }

    }

}

static void FUNC_0(Monitor *VAR_0, const char *VAR_1)

{

    char VAR_2;



    for(;;) {

        VAR_2 = *VAR_1++;

        if (VAR_2 == '\0')

            break;

        if (VAR_2 == '\n') {

            qstring_append_chr(VAR_0->outbuf, '\r');

        }

        qstring_append_chr(VAR_0->outbuf, VAR_2);

        if (VAR_2 == '\n') {

            monitor_flush(VAR_0);

        }

    }

}

static void FUNC_0(Monitor *VAR_0, const char *VAR_1)
{ char VAR_2; for(;;) { VAR_2 = *VAR_1++; if (VAR_2 == '\0')
break; if (VAR_2 == '\n') { qstring_append_chr(VAR_0->outbuf, '\r'); } qstring_append_chr(VAR_0->outbuf, VAR_2); if (VAR_2 == '\n') { monitor_flush(VAR_0); } } }