The text 094f72217cfc, as Debian 9 (Stretch) shipped it.
Convert a numeric hardware event code to a name.
PAPIF_event_code_to_name(3) on Linux now
