The text 80edf4e2349e, as Debian 8 (Jessie) shipped it.
Convert a name to a numeric hardware event code.
PAPI_event_name_to_code(3) on Linux now
