The text 01f968e887fd, as Debian 10 (Buster) shipped it.
is_null_pointer (LWG 2247).
std::is_null_pointer(3cxx) on Linux now
