The text 85142575fcd4, as Debian 10 (Buster) shipped it.
pretty-print Xen trace data
xentrace_format(1) on Linux now
