static void monitor_readline_cb(void *opaque, const char *input)

{

    pstrcpy(monitor_readline_buf, monitor_readline_buf_size, input);

    monitor_readline_started = 0;

}

static void monitor_readline_cb(void *opaque, const char *input)

{

    pstrcpy(monitor_readline_buf, monitor_readline_buf_size, input);

    monitor_readline_started = 0;

}

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

{

    pstrcpy(monitor_readline_buf, monitor_readline_buf_size, VAR_1);

    monitor_readline_started = 0;

}

static void FUNC_0(void *VAR_0, const char *VAR_1)
{ pstrcpy(monitor_readline_buf, monitor_readline_buf_size, VAR_1); monitor_readline_started = 0; }