The text c74a04c80f76, as FreeBSD 12.0-RELEASE shipped it.
un-get wide character from input stream
ungetwc(3) on FreeBSD now