PART01.       editline - Small line-editing library, Part01/01