The text 14080e8bd6fc, as Debian 4.0 (Etch) shipped it.
__gnu_cxx::stdio_sync_filebuf(3) on Linux now
