The text e80e2b44ce98, as FreeBSD 12.1-RELEASE shipped it.
un-get character from input stream
ungetc(3) on FreeBSD now