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