The text 9f394ac6b9b2, as Debian 8 (Jessie) shipped it.
Number of seconds on the local cpu's clock
function::local_clock_s(3stap) on Linux now
