function::read_stopwatch_us(3stap) on Linux

The text 515f971d97f1, as Debian 12 (Bookworm) shipped it.

Reads the time in microseconds for a stopwatch

function::read_stopwatch_us(3stap) on Linux now