std::__allocated_ptr(3cxx) on Linux

The text 2bcbca8d1d1e, as Debian 10 (Buster) shipped it.

Non-standard RAII type for managing pointers obtained from allocators.