part01   editline - Small line-editing library, Part01/01