void readline_show_prompt(ReadLineState *rs)

{

    monitor_printf(rs->mon, "%s", rs->prompt);

    monitor_flush(rs->mon);

    rs->last_cmd_buf_index = 0;

    rs->last_cmd_buf_size = 0;

    rs->esc_state = IS_NORM;

}

void readline_show_prompt(ReadLineState *rs)

{

    monitor_printf(rs->mon, "%s", rs->prompt);

    monitor_flush(rs->mon);

    rs->last_cmd_buf_index = 0;

    rs->last_cmd_buf_size = 0;

    rs->esc_state = IS_NORM;

}

void FUNC_0(ReadLineState *VAR_0)

{

    monitor_printf(VAR_0->mon, "%s", VAR_0->prompt);

    monitor_flush(VAR_0->mon);

    VAR_0->last_cmd_buf_index = 0;

    VAR_0->last_cmd_buf_size = 0;

    VAR_0->esc_state = IS_NORM;

}

void FUNC_0(ReadLineState *VAR_0)
{ monitor_printf(VAR_0->mon, "%s", VAR_0->prompt); monitor_flush(VAR_0->mon); VAR_0->last_cmd_buf_index = 0; VAR_0->last_cmd_buf_size = 0; VAR_0->esc_state = IS_NORM; }