The text 1ef7fa9c7d55, as Debian 11 (Bullseye) shipped it.
encoding_char_traits
__gnu_cxx::encoding_char_traits(3cxx) on Linux now
