The text b4cae7b0fd69, as Debian 12 (Bookworm) shipped it.
Reads the time in seconds for a stopwatch
function::read_stopwatch_s(3stap) on Linux now
