An Input Line Editor that wraps itself around programs