The text 7074f2c13a7e, as Debian 10 (Buster) shipped it.
systemtap timestamp_gtod tapset
tapset::timestamp_gtod(3stap) on Linux now
