The text 9883ef227e32, as Debian 8 (Jessie) shipped it.
List the registered thread ids.
PAPI_list_threads(3) on Linux now
