The text 80a7c2a065c7, as Debian 10 (Buster) shipped it.
Write counter values into counters.
PAPI_write(3) on Linux now
