The text 006006805348, as Debian 7 (Wheezy) shipped it.
__gnu_cxx::encoding_char_traits(3cxx) on Linux now
