The text b8e962802fdc, as Debian 11 (Bullseye) shipped it.
List the registered thread ids.
PAPI_list_threads(3) on Linux now
