The text b011fe3f2201, as Debian 7 (Wheezy) shipped it.
push a character back to a stream and report errors
explain_ungetc_or_die(3) on Linux now
