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