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