The text b0063ff0f74d, as Debian 12 (Bookworm) shipped it.
get real time counter value in microseconds
PAPI_get_real_usec(3) on Linux now
