The text 85cd2a5e76f2, as Debian 10 (Buster) shipped it.
Number of seconds on the local cpu's clock
function::local_clock_s(3stap) on Linux now
