The text b8fe5728b119, as Debian 10 (Buster) shipped it.
input of characters and strings
fgetc(3) on Linux now
