The text 5932ec0623dc, as Debian 10 (Buster) shipped it.
List the registered thread ids.
PAPI_list_threads(3) on Linux now
