The text 7c61a0721668, as Debian 4.0 (Etch) shipped it.
push back a wide character onto a FILE stream
ungetwc(3) on Linux now
