std::__allocated_ptr(3cxx) on Linux

The text 657410b90498, as Debian 9 (Stretch) shipped it.

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