The text a38e3dc843bc, as Debian 10 (Buster) shipped it.
Convert a name to a numeric hardware event code.
PAPI_event_name_to_code(3) on Linux now
