re_fastaddc
re_fastaddc(el); /* fast refresh for one char. */
libedit_private void re_fastaddc(EditLine *);
re_fastaddc(el);