The text d735d0d32e7f, as Debian 12 (Bookworm) shipped it.
returns handle of next device type
PAPI_enum_dev_type(3) on Linux now