The text c3819e6fdf87, as Debian 10 (Buster) shipped it.
unpack event records
pmUnpackHighResEventRecords(3) on Linux now
