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