The text 1631f4441c9b, as Debian 10 (Buster) shipped it.
Get the thread identifier of the current thread.
PAPI_thread_id(3) on Linux now
