Currently we measure the time with
clock_gettime() and report it with
It would be nice to have another way to measure time, using
times(), and to report it with
%R. We could also have option
%[s]R for restricing the output to user and system time, and maybe
%[!]R for restricting the time to the current process (without its children).