The text 2f480a6c1a61, as Debian 3.0 (Woody) shipped it.
push back a wide character onto a FILE stream
ungetwc(3) on Linux now
