Issue #10278: wallclock() cannot go backward, but two consecutive calls

may return the same time.