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