The text 5f7092294b8d, as Debian 10 (Buster) shipped it.
remove_pointer
std::remove_pointer(3cxx) on Linux now
