ch_reset
ch_reset(el);
protected void ch_reset(EditLine *);
ch_reset(el);
ch_reset(el); /* XXX: Do we want that? */
ch_reset(el);
ch_reset(el); /* reset the input pointers */