The text cd55c17e8f71, as Debian 12 (Bookworm) shipped it.
push back a wide character onto a FILE stream
ungetwc(3) on Linux now
