The text 0f8705016c40, as Debian 9 (Stretch) shipped it.
systemtap timestamp_monotonic tapset
tapset::timestamp_monotonic(3stap) on Linux now
