The text 124ffca3e05d, as Debian 3.1 (Sarge) shipped it.
Returns an elapsed time on the calling processor
MPI_Wtime(3) on Linux now
