terminal_set
rv = terminal_set(el, va_arg(ap, char *));
(void) terminal_set(el, NULL);
protected int terminal_set(EditLine *, const char *);